Commit [d5b04b]  Maximize  Restore  History

These files are part of the new regression suite. Each file contains
the expected result of a test.

Haim Cohen Haim Cohen 2004-07-14

added examples/adder/expected
added examples/bddcalc/expected
added examples/bddtest/expected
added examples/cmilner/expected
added examples/fdd/expected
added examples/money/expected
added examples/queen/expected
examples/adder/expected Diff Switch to side-by-side view
Loading...
examples/bddcalc/expected Diff Switch to side-by-side view
Loading...
examples/bddtest/expected Diff Switch to side-by-side view
Loading...
examples/cmilner/expected Diff Switch to side-by-side view
Loading...
examples/fdd/expected Diff Switch to side-by-side view
Loading...
examples/money/expected Diff Switch to side-by-side view
Loading...
examples/queen/expected Diff Switch to side-by-side view
Loading...