Menu

Commit [r6085]  Maximize  Restore  History

Fixed buglet where not all widgets had same number of reachable states. This had thrown off the shared wf test.

tswift 2008-08-06

changed /trunk/mttests/benches/petri/benchmark_wf.P
/trunk/mttests/benches/petri/benchmark_wf.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB