Changeset [de0feac4e64d84398444568d99918fa8d9f6cdde] by Douglas Creager
May 31st, 2008 @ 01:28 PM
Using new superset algorithm in traces refinement
This patch rewrites the traces refinement code to use the new superset
algorithm. We'll also use this superset algorithm to check the
acceptances during a failures refinement.
Committed by Douglas Creager
- M include/hst/types.hh
- M src/assertions/refine.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.