CSPM-FiringRules-0.4.4.0: Firing rules semantic of CSPM

Copyright(c) Fontaine 2010
LicenseBSD
Maintainerfontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

CSPM.FiringRules.Test.Test

Description

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.

Synopsis

Documentation

main :: IO () Source #

Run a number of QuickCheck tests (with fixed seed).