add tests for checking that goals are correctly shown

Open hendriktews opened this issue 4 years ago • 2 comments

Most of these tests currently fail because of different instances of #568, see also #429, #467.

Jun 06 '21 20:06 hendriktews

All the currently failing tests have :expected-result :failed, therefore the checks are reported as passed.

Jun 06 '21 20:06 hendriktews

Maybe also consider adding tests for #103 and #102 (or checking whether the current tests are already appropriate). Another example similar to #103 : Goal True. Abort.

Jun 25 '21 08:06 Columbus240