Changeset [6c92ff8cd645665253dc5604ed9aa4cd1ba43967] by Douglas Creager

August 26th, 2008 @ 11:24 PM

Adding more test cases for sets

This patch expands the test suite with some tests for basic set 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/Generators.hs
  • M cspm/tests/HST/CSPM/Tests/Sets.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.