CSPM-FiringRules-0.3.0.3: Firing rules semantic of CSPM

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de

CSPM.FiringRules.Test.Test

Description

QuickCheck tests for the modules CSPM.FiringRules.EnumerateEvents and CSPM.FiringRules.FieldConstraints. We check for soundness, completeness and that both approaches yield the same result.

Synopsis

Documentation

main :: IO ()Source

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