XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r9267] Maximize Restore History

Changed test_declarations to be consistent for MT engine, and moved

some others over to nonmt (i.e., in the directory of those tests that
need to be ported to MT).

Authored by: tswift 2018-04-27

Browse code at this revision

Parent: [r9266]

Child: [r9268]

changed	/trunk/xsbtests/incremental_tests/test.sh
changed	/trunk/xsbtests/incremental_tests/test_declarations.P
changed	/trunk/xsbtests/nonmt_tests/test.sh
added	/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_1.P
added	/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_1_old
added	/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_2.P
added	/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_2_old
added	/trunk/xsbtests/nonmt_tests/test_set_pp.P
added	/trunk/xsbtests/nonmt_tests/test_set_pp_old
changed	/trunk/xsbtests/prolog_tests/test.sh
changed	/trunk/xsbtests/prolog_tests/test_memory_ovrflw_1.P

/trunk/xsbtests/incremental_tests/test.sh Diff Switch to side-by-side view

/trunk/xsbtests/incremental_tests/test_declarations.P Diff Switch to side-by-side view

/trunk/xsbtests/nonmt_tests/test.sh Diff Switch to side-by-side view

/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_1.P Diff Switch to side-by-side view

/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_1_old Diff Switch to side-by-side view

/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_2.P Diff Switch to side-by-side view

/trunk/xsbtests/nonmt_tests/test_memory_ovrflw_2_old Diff Switch to side-by-side view

/trunk/xsbtests/nonmt_tests/test_set_pp.P Diff Switch to side-by-side view

/trunk/xsbtests/nonmt_tests/test_set_pp_old Diff Switch to side-by-side view

/trunk/xsbtests/prolog_tests/test.sh Diff Switch to side-by-side view

/trunk/xsbtests/prolog_tests/test_memory_ovrflw_1.P Diff Switch to side-by-side view