Commit 2023-02-16 19:50 7872193d
View on Github →fix: avoid sorryAx in library_search (#2304)
Fixes #226, which is still reproducible. #239 was intended to fix it, but apparently plugged in the wrong bool value.
Adds a new assert_no_sorry
command and uses it in a new testcase.
Also fixes up the "inj" and "noConfusionType" cases, which have the same bug.