Changeset [eefa050ea24b224a956ca442752678d9a23c441c] by Douglas Creager

August 26th, 2008 @ 11:41 PM

Adding more test cases for booleans

This patch expands the test suite with some tests for basic boolean expressions. Not all of them are covered yet, though. http://github.com/dcreager/hst/c...

Committed by Douglas Creager

  • M cspm/HST.cabal
  • M cspm/src/HST/CSPM/Expressions.hs
  • M cspm/tests/HST/CSPM/Tests.hs
  • M cspm/tests/HST/CSPM/Tests/Booleans.hs
  • M cspm/tests/HST/CSPM/Tests/Generators.hs
  • M cspm/tests/HST/CSPM/Tests/Numbers.hs
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.