CSPM-FiringRules-0.4.1.2: Firing rules semantic of CSPM

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

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).