Author: niels
Date: Tue Jun 16 08:06:05 2009
New Revision: 4294
URL: http://svn.gna.org/viewcvs/service-tech?rev=4294&view=rev
Log:
* the open nets from which the test cases where derived
Added:
trunk/sayo/tests/testfiles/nets/
trunk/sayo/tests/testfiles/nets/NonFinalTauNode1.owfn
trunk/sayo/tests/testfiles/nets/NonFinalTauNode1not.owfn
trunk/sayo/tests/testfiles/nets/NonFinalTauNode2.owfn
trunk/sayo/tests/testfiles/nets/NonFinalTauNode2not.owfn
trunk/sayo/tests/testfiles/nets/NonFinalTauNode3.owfn
trunk/sayo/tests/testfiles/nets/NonFinalTauNode4.owfn
trunk/sayo/tests/testfiles/nets/PO.owfn
trunk/sayo/tests/testfiles/nets/complexPV.owfn
trunk/sayo/tests/testfiles/nets/myCoffee.owfn
trunk/sayo/tests/testfiles/nets/non_empty_true_node2.owfn
trunk/sayo/tests/testfiles/nets/non_empty_true_node3.owfn
trunk/sayo/tests/testfiles/nets/phcontrol3.unf.owfn
trunk/sayo/tests/testfiles/nets/pv.owfn
trunk/sayo/tests/testfiles/nets/zeus.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.
