Changeset [afc55eb4453ab4a9813491acbf6ef2a7276eaf42] 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...

Committed by Douglas Creager

  • 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
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.