| commit | 7dd5b9877ce1e51b527beed27d97c0516459c83b | |
| author | Kris Katterjohn <katterjohn@gmail.com> | |
| Wed, 18 Jul 2018 18:25:35 +0000 (18 13:25 -0500) | ||
| committer | Kris Katterjohn <katterjohn@gmail.com> | |
| Wed, 18 Jul 2018 18:25:35 +0000 (18 13:25 -0500) | ||
| tree | 79087dda290db09570614c478b8de6ecbd24fc20 | treesnapshot (tar.gz zip) |
| parent | cc344abc6daaa5791a80e8a90a70381228350e98 | commitdiff |
Fix bug #3410: extremal_subset gives bogus result with undefined predicate
This applies the fix from Stavros Macrakis in the bug report.
Now MEVALP_TR is used directly instead of IS-BOOLE-CHECK in
extremal_subset and we explicitly have MEVALP_TR signal an
error when it can't evaluate the predicate.
The test suite and share test suite both run fine, with a new test.
This applies the fix from Stavros Macrakis in the bug report.
Now MEVALP_TR is used directly instead of IS-BOOLE-CHECK in
extremal_subset and we explicitly have MEVALP_TR signal an
error when it can't evaluate the predicate.
The test suite and share test suite both run fine, with a new test.
| src/nset.lisp | diffblobblamehistory | |
| tests/rtestnset.mac | diffblobblamehistory |