Author: weinberg
Date: Tue Apr 14 11:22:50 2009
New Revision: 4071
URL: http://svn.gna.org/viewcvs/service-tech?rev=4071&view=rev
Log:
+ statistical output of equivalence and simulation check is now correct and
uses the reanalysis methods (called in OG->buildGraph()) only
+ FINALMARKING is now a FINALCONDITION in philosophers 4 owfn --> now this net
is equivalent with the "same" net in the philosophers directory
Modified:
trunk/fiona/src/main.cc
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
