Commit [ce57f7] Maximize Restore History

Test suite now runs with 'make check', not just compiles.

Nikos Gorogiannis Nikos Gorogiannis 2014-02-07

removed examples/runregression
changed examples/adder/runtest
changed examples/bddcalc/runtest
changed examples/bddsatcountbug/runtest
changed examples/bddsupportbug/runtest
changed examples/bddtest/runtest
changed examples/cmilner/runtest
changed examples/fdd/runtest
changed examples/milner/runtest
changed examples/money/runtest
changed examples/queen/runtest
changed .gitignore
changed Makefile.am
changed configure.ac
examples/runregression
File was removed.
examples/adder/runtest Diff Switch to side-by-side view
Loading...
examples/bddcalc/runtest Diff Switch to side-by-side view
Loading...
examples/bddsatcountbug/runtest Diff Switch to side-by-side view
Loading...
examples/bddsupportbug/runtest Diff Switch to side-by-side view
Loading...
examples/bddtest/runtest Diff Switch to side-by-side view
Loading...
examples/cmilner/runtest Diff Switch to side-by-side view
Loading...
examples/fdd/runtest Diff Switch to side-by-side view
Loading...
examples/milner/runtest Diff Switch to side-by-side view
Loading...
examples/money/runtest Diff Switch to side-by-side view
Loading...
examples/queen/runtest Diff Switch to side-by-side view
Loading...
.gitignore Diff Switch to side-by-side view
Loading...
Makefile.am Diff Switch to side-by-side view
Loading...
configure.ac Diff Switch to side-by-side view
Loading...