CSPM-FiringRules-0.4.0.0: Firing rules semantic of CSPM

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

CSPM.FiringRules.Test.Test

Description

QuickCheck tests for the proof tree generators in module CSPM.FiringRules.EnumerateEvents and 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).