Commit [c3eff7]  Maximize  Restore  History

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

John Whaley John Whaley 2004-07-30

changed configure.ac
changed examples/Makefile.am
added examples/bddsatcountbug/.cvsignore
added examples/bddsatcountbug/Makefile.am
added examples/bddsatcountbug/bddsatcountbug.c
added examples/bddsatcountbug/expected
added examples/bddsatcountbug/runtest
configure.ac Diff Switch to side-by-side view
Loading...
examples/Makefile.am Diff Switch to side-by-side view
Loading...
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...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks