XSB Src (SVN)-old

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

Commit [r9716] Maximize Restore History

New tests for subsumptive + incremental. I had to make a few minor changes, so I did this rather than using the -S option.

Authored by: tswift 2019-11-19

Browse code at this revision

Parent: [r9715]

Child: [r9717]

changed	/trunk/xsbtests/incremental_tests/incremental_rule_alt.P
changed	/trunk/xsbtests/incremental_tests/incremental_trie.P
added	/trunk/xsbtests/incremental_tests/s_test_abolish_incremental_call_single.P
added	/trunk/xsbtests/incremental_tests/s_test_abolish_nonincremental.P
added	/trunk/xsbtests/incremental_tests/s_test_declarations.P
added	/trunk/xsbtests/incremental_tests/s_test_directives.P
added	/trunk/xsbtests/incremental_tests/s_test_idg_abstract.P
added	/trunk/xsbtests/incremental_tests/s_test_inc_switch.P
added	/trunk/xsbtests/incremental_tests/s_test_incr_depends.P
added	/trunk/xsbtests/incremental_tests/s_test_incr_depends_2.P
added	/trunk/xsbtests/incremental_tests/s_test_introspection.P
added	/trunk/xsbtests/incremental_tests/s_test_invalidate.P
added	/trunk/xsbtests/incremental_tests/s_test_iso_basic.P
added	/trunk/xsbtests/incremental_tests/s_test_iso_hash.P
added	/trunk/xsbtests/incremental_tests/s_test_iso_mult_visit.P
added	/trunk/xsbtests/incremental_tests/s_test_iso_undef.P
added	/trunk/xsbtests/incremental_tests/s_test_lazy.P
added	/trunk/xsbtests/incremental_tests/s_test_maxans.P
added	/trunk/xsbtests/incremental_tests/s_test_set_pp.P
added	/trunk/xsbtests/incremental_tests/s_test_sound_updates.P
added	/trunk/xsbtests/incremental_tests/s_test_table_errors.P
added	/trunk/xsbtests/incremental_tests/s_test_visitors.P
added	/trunk/xsbtests/incremental_tests/s_test_wfs_update.P
added	/trunk/xsbtests/incremental_tests/stest.sh

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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