How to ignore choicepoints in prolog PL Unit testing?
prolog, unit-testing
Solution
in SWI-Prolog Unit Test there is the option `nondet`
If this keyword appears in the option list, non-deterministic success of the body is not considered an error.
Problem
In prolog PL Unit testing, how can you ignore the warning messages that talk of choicepoints? Thanks.