Changeset [8317134761619c5c0b768c2c2d0493936913e5db] by Douglas Creager
July 6th, 2008 @ 01:30 PM
Adding failures refinement option to csp0 script
A previous patch added support for failures refinement, but I hadn't
yet made this functionality available in the csp0 command-line script.
This patch does so.
Lighthouse: [#3 state:resolved]
Committed by Douglas Creager
- M src/bin/csp0.cc
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.