Changeset [5f662d02701695ac8a293670463347eceefaa886] by Douglas Creager
February 10th, 2009 @ 07:23 PM
Include error messages in expected CSP₀ test outputs
We now include error messages in the output of all of the tests under tests/csp0. This doesn't affect the output of any existing tests, but will allow us to include test cases for invalid CSP₀ scripts. http://github.com/hst/hst/commit...
Committed by Douglas Creager
- M build-scripts/save-csp-test
- M tests/csp/CMakeLists.txt
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.