Commit [1fcee0] Maximize Restore History

A simple script to run a regression test and generate output

Haim Cohen Haim Cohen 2004-07-13

added examples/adder/runtest
added examples/bddcalc/runtest
added examples/bddtest/runtest
added examples/cmilner/runtest
added examples/fdd/runtest
added examples/money/runtest
added examples/queen/runtest
added examples/solitare/runtest
changed examples
changed examples/adder
changed examples/bddcalc
changed examples/bddtest
changed examples/cmilner
changed examples/fdd
changed examples/money
changed examples/queen
changed examples/solitare
examples/adder/runtest Diff Switch to side-by-side view
Loading...
examples/bddcalc/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/money/runtest Diff Switch to side-by-side view
Loading...
examples/queen/runtest Diff Switch to side-by-side view
Loading...
examples/solitare/runtest Diff Switch to side-by-side view
Loading...
examples
Directory.
examples/adder
Directory.
examples/bddcalc
Directory.
examples/bddtest
Directory.
examples/cmilner
Directory.
examples/fdd
Directory.
examples/money
Directory.
examples/queen
Directory.
examples/solitare
Directory.