How to ignore selection points in the prolog module PL Unit?

Question

In the PL Unit prolog test, how can you ignore warnings that speak of choice points?

Thanks.

+4

omega Apr 08 '13 at 2:05

1 answer

Capellic · Accepted Answer · 2013-04-08T06:54:21+0000

SWI-Prolog Unit Test has nondet option

If this keyword appears in the list of options, the non-deterministic success of the body is not considered an error.