Copyright | (c) Fontaine 2010 |
---|---|
License | BSD |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
QuickCheck tests for the proof tree generators in module CSPM.FiringRules.EnumerateEvents and CSPM.FiringRules.FieldConstraints. These QuickCheck properties check for soundness, completeness and that both proof tree generators yield the same result.