Changeset [de0feac4e64d84398444568d99918fa8d9f6cdde] by Douglas Creager
Revision de0feac4e64d84398444568d99918fa8d9f6cdde,
committed 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.
2 changed files
-
M
include/hst/types.hh -
M
src/assertions/refine.cc