Menu ▾ ▴

Commit [r9285]  Maximize  Restore  History

Added test for dynamic opaque predicates.

Also, changed test of dynamic predicate has clauses slightly to allow the above.

tswift 2018-05-11

changed /trunk/xsbtests/nonmt_tests/test.sh
added /trunk/xsbtests/nonmt_tests/test_dynopq.P
added /trunk/xsbtests/nonmt_tests/test_dynopq_old
changed /trunk/xsbtests/prolog_tests/test_dphc.P
changed /trunk/xsbtests/prolog_tests/test_dphc_old
/trunk/xsbtests/nonmt_tests/test.sh Diff Switch to side-by-side view
Loading...
/trunk/xsbtests/nonmt_tests/test_dynopq.P Diff Switch to side-by-side view
Loading...
/trunk/xsbtests/nonmt_tests/test_dynopq_old Diff Switch to side-by-side view
Loading...
/trunk/xsbtests/prolog_tests/test_dphc.P Diff Switch to side-by-side view
Loading...
/trunk/xsbtests/prolog_tests/test_dphc_old Diff Switch to side-by-side view
Loading...