Author: fahland
Date: Tue Jul 22 17:59:11 2008
New Revision: 93
URL: http://svn.gna.org/viewcvs/service-tech?rev=93&view=rev
Log:
Changed output:
- The property for the soundness analysis is now appended to the net and
written to the net file by default.
- Added parameter switch "-p taskfile" to re-enable the old functionality and
to write a separate task file.
- The generated verification script considers all cases accordingly.
Modified:
trunk/uml2owfn_soundness2/src/block.cc
trunk/uml2owfn_soundness2/src/options.cc
trunk/uml2owfn_soundness2/src/options.h
trunk/uml2owfn_soundness2/src/uml2owfn.cc
--
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.
