Changeset [f4b77aca530fc358c54402ff372d5ed8e8aece25] by Douglas Creager
Revision f4b77aca530fc358c54402ff372d5ed8e8aece25,
committed by Douglas Creager
· November 10th, 2008 @ 10:06 AM
Prefix CSPM expressions should create “event” CSP₀ statements
CSP₀ scripts require you to use an “event” statement to declare any event that's used in a “prefix” statement. The CSPM compiler wasn't creating the necessary “event” statements for the prefix expressions that it would encounter. This patch fixes the compiler so that it does create these statements. http://github.com/hst/hst/commit...
12 changed files
-
M
cspm/src/HST/CSP0/Processes.lhs -
M
cspm/src/HST/CSPM/Evaluate.hs -
M
cspm/tests/processes/test-aparallel.sh -
M
cspm/tests/processes/test-extchoice.sh -
M
cspm/tests/processes/test-hide.sh -
M
cspm/tests/processes/test-intchoice.sh -
M
cspm/tests/processes/test-interleave.sh -
M
cspm/tests/processes/test-iparallel.sh -
M
cspm/tests/processes/test-prefix.sh -
M
cspm/tests/processes/test-rextchoice.sh -
M
cspm/tests/processes/test-seqcomp.sh -
M
cspm/tests/processes/test-timeout.sh