Commit [c3eff7] Maximize Restore History

Added a regression test case for the satcount() bug.

John Whaley John Whaley 2004-07-30

added examples/bddsatcountbug/.cvsignore
added examples/bddsatcountbug/Makefile.am
added examples/bddsatcountbug/bddsatcountbug.c
added examples/bddsatcountbug/expected
added examples/bddsatcountbug/runtest
changed examples/Makefile.am
changed configure.ac
examples/bddsatcountbug/.cvsignore Diff Switch to side-by-side view
Loading...
examples/bddsatcountbug/Makefile.am Diff Switch to side-by-side view
Loading...
examples/bddsatcountbug/bddsatcountbug.c Diff Switch to side-by-side view
Loading...
examples/bddsatcountbug/expected Diff Switch to side-by-side view
Loading...
examples/bddsatcountbug/runtest Diff Switch to side-by-side view
Loading...
examples/Makefile.am Diff Switch to side-by-side view
Loading...
configure.ac Diff Switch to side-by-side view
Loading...