Commit [ce57f7]  Maximize  Restore  History

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

Nikos Gorogiannis Nikos Gorogiannis 2014-02-07

changed .gitignore
changed Makefile.am
changed configure.ac
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
removed examples/runregression
.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...
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...
examples/runregression
File was removed.

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

Sign up for the SourceForge newsletter:





No, thanks