Changeset [afc55eb4453ab4a9813491acbf6ef2a7276eaf42] by Douglas Creager

Revision afc55eb4453ab4a9813491acbf6ef2a7276eaf42, committed by Douglas Creager · November 8th, 2008 @ 11:23 PM

Adding additional (non-QuickCheck) testing harness

This patch adds an additional testing harness for the CSPM library. It's based on a bunch of shell scripts in the tests directory. The existing QuickCheck tests are now run within this harness, instead of directly from the Cabal Setup script. http://github.com/dcreager/hst/c...

29 changed files

M cspm/.gitignore
M cspm/HST.cabal
M cspm/Setup.lhs
M cspm/qc-tests/HST/CSPM/Tests.hs
M cspm/qc-tests/HST/CSPM/Tests/Booleans.hs
M cspm/qc-tests/HST/CSPM/Tests/Environments.hs
M cspm/qc-tests/HST/CSPM/Tests/Generators.hs
M cspm/qc-tests/HST/CSPM/Tests/Lambdas.hs
M cspm/qc-tests/HST/CSPM/Tests/Lets.hs
M cspm/qc-tests/HST/CSPM/Tests/Numbers.hs
M cspm/qc-tests/HST/CSPM/Tests/Sequences.hs
M cspm/qc-tests/HST/CSPM/Tests/Sets.hs
M cspm/tests/HST/CSPM/Tests.hs
M cspm/tests/HST/CSPM/Tests/Booleans.hs
M cspm/tests/HST/CSPM/Tests/Environments.hs
M cspm/tests/HST/CSPM/Tests/Generators.hs
M cspm/tests/HST/CSPM/Tests/Lambdas.hs
M cspm/tests/HST/CSPM/Tests/Lets.hs
M cspm/tests/HST/CSPM/Tests/Numbers.hs
M cspm/tests/HST/CSPM/Tests/Sequences.hs
M cspm/tests/HST/CSPM/Tests/Sets.hs
M cspm/tests/expressions/test-booleans.sh
M cspm/tests/expressions/test-lambdas.sh
M cspm/tests/expressions/test-numbers.sh
M cspm/tests/expressions/test-sequences.sh
M cspm/tests/expressions/test-sets.sh
M cspm/tests/functions.sh
M cspm/tests/quickcheck-tests.sh
M cspm/tests/run-tests.sh