Menu ▾ ▴

Commit [r9239]  Maximize  Restore  History

Test for incremental tabling problem that fixed in a prior commit, where callnode-> recomputable

was not properly resent on propagate_no_change.

tswift 2018-03-04

changed /trunk/xsbtests/nonmt_tests/test.sh
added /trunk/xsbtests/nonmt_tests/test_recomputable.P
added /trunk/xsbtests/nonmt_tests/test_recomputable_old
/trunk/xsbtests/nonmt_tests/test.sh Diff Switch to side-by-side view
Loading...
/trunk/xsbtests/nonmt_tests/test_recomputable.P Diff Switch to side-by-side view
Loading...
/trunk/xsbtests/nonmt_tests/test_recomputable_old Diff Switch to side-by-side view
Loading...