Author: massuthe
Date: Mon Sep 29 13:28:39 2008
New Revision: 3386
URL: http://svn.gna.org/viewcvs/service-tech?rev=3386&view=rev
Log:
In test-Verzeichnissen
- viele pngs hinzugefügt, damit besser nachvollzogen werden kann,
was gecheckt wird
- diverse .cvsignore Dateien gelöscht
- einige Skripte angepasst
- insbesondere werden jetzt auch wieder die BDDs, sowie die
Knoten-interne Reduktion getestet!!
Added:
trunk/fiona/tests/constraints/enforce_constraintDrink.a.og.png (with
props)
trunk/fiona/tests/constraints/enforce_vending.owfn.a.og.png (with props)
trunk/fiona/tests/countservices/acyclic.og.png (with props)
trunk/fiona/tests/countservices/cyclic.og.png (with props)
trunk/fiona/tests/countservices/false_nodes.og.png (with props)
trunk/fiona/tests/countservices/multiple_arcs.og.png (with props)
trunk/fiona/tests/countservices/nostrat.og.png (with props)
trunk/fiona/tests/countservices/sequence4.owfn.og.png (with props)
trunk/fiona/tests/extrema/initial_marking_midways.owfn.png (with props)
trunk/fiona/tests/extrema/initialmarking_is_a_finalmarking.owfn.png (with
props)
trunk/fiona/tests/extrema/innerUnbounded.owfn.png (with props)
trunk/fiona/tests/extrema/non_empty_true_node.owfn.png (with props)
trunk/fiona/tests/extrema/non_empty_true_node2.owfn.png (with props)
trunk/fiona/tests/extrema/transient_finalmarking.owfn.png (with props)
trunk/fiona/tests/falseannos/bluefalsenode.expected.og.png (with props)
trunk/fiona/tests/falseannos/bluefalsenode.og.png (with props)
trunk/fiona/tests/falseannos/shorten.expected.og.png (with props)
trunk/fiona/tests/falseannos/shorten.og.png (with props)
trunk/fiona/tests/falseannos/violating.expected.og.png (with props)
trunk/fiona/tests/falseannos/violating.og.png (with props)
trunk/fiona/tests/matching/agency_traveler.og.png (with props)
trunk/fiona/tests/matching/agency_traveler.owfn.png (with props)
trunk/fiona/tests/matching/airline.og.png (with props)
trunk/fiona/tests/matching/airline.owfn.png (with props)
trunk/fiona/tests/matching/client_match_1.owfn.png (with props)
trunk/fiona/tests/matching/client_nomatch_1.owfn.png (with props)
trunk/fiona/tests/matching/client_nomatch_2.owfn.png (with props)
trunk/fiona/tests/matching/client_nosupport_1.owfn.png (with props)
trunk/fiona/tests/messagebound/innerBounded.owfn.png (with props)
trunk/fiona/tests/messagebound/messageboundtest1.owfn.png (with props)
trunk/fiona/tests/messagebound/messageboundtest2.owfn.png (with props)
trunk/fiona/tests/messagebound/messageboundtest3.owfn.png (with props)
trunk/fiona/tests/messagebound/messageboundtest4.owfn.png (with props)
trunk/fiona/tests/messagebound/messageboundtest5.owfn.png (with props)
trunk/fiona/tests/messagebound/unlimited-communication.owfn.png (with
props)
trunk/fiona/tests/minimize/06-03-23_BPM06_shop_sect_3.owfn.og.png (with
props)
trunk/fiona/tests/minimize/4-loop.og.png (with props)
trunk/fiona/tests/minimize/final_non-final.og.png (with props)
trunk/fiona/tests/minimize/keesCoffee_condition.emptyNode.og.png (with
props)
trunk/fiona/tests/minimize/keesCoffee_condition.og.png (with props)
trunk/fiona/tests/minimize/myCoffee.og.png (with props)
trunk/fiona/tests/minimize/non-final_final.og.png (with props)
trunk/fiona/tests/minimize/nostrat.og.png (with props)
trunk/fiona/tests/minimize/sample.og.png (with props)
trunk/fiona/tests/oWFNreduction/06-03-23_BPM06_shop_sect_6.owfn.png (with
props)
trunk/fiona/tests/oWFNreduction/060116-misc-coffee.owfn.png (with props)
trunk/fiona/tests/oWFNreduction/phcontrol3.unf.owfn.png (with props)
trunk/fiona/tests/partner/coffee-partner.expected.owfn.png (with props)
trunk/fiona/tests/partner/coffee2-partner.expected.owfn.png (with props)
trunk/fiona/tests/partner/coffee_extended-partner.expected.owfn.png (with
props)
trunk/fiona/tests/partner/sequence3-partner.expected.owfn.png (with props)
trunk/fiona/tests/productog/1.og.png (with props)
trunk/fiona/tests/productog/1x2.expected.og.png (with props)
trunk/fiona/tests/productog/1x2x3.expected.og.png (with props)
trunk/fiona/tests/productog/2.og.png (with props)
trunk/fiona/tests/productog/3.og.png (with props)
trunk/fiona/tests/productog/3x1x2.expected.og.png (with props)
trunk/fiona/tests/publicview/NonFinalTauNode1.owfn.png (with props)
trunk/fiona/tests/publicview/NonFinalTauNode1not.owfn.png (with props)
trunk/fiona/tests/publicview/NonFinalTauNode2.owfn.png (with props)
trunk/fiona/tests/publicview/NonFinalTauNode2not.owfn.png (with props)
trunk/fiona/tests/publicview/NonFinalTauNode3.owfn.png (with props)
trunk/fiona/tests/publicview/NonFinalTauNode4.owfn.png (with props)
trunk/fiona/tests/publicview/complexPV.owfn.png (with props)
trunk/fiona/tests/publicview/non_empty_true_node2.owfn.png (with props)
trunk/fiona/tests/publicview/non_empty_true_node3.owfn.png (with props)
trunk/fiona/tests/samples/sequence9.owfn.png (with props)
trunk/fiona/tests/sequence_suite/sequence3.owfn.png (with props)
trunk/fiona/tests/sim_og/coarse-chopped.og.png (with props)
trunk/fiona/tests/sim_og/coarse.og.png (with props)
trunk/fiona/tests/sim_og/compact.og.png (with props)
trunk/fiona/tests/sim_og/cyclic1.og.png (with props)
trunk/fiona/tests/sim_og/cyclic2.og.png (with props)
trunk/fiona/tests/sim_og/trafo_rule3_N7.owfn.png (with props)
trunk/fiona/tests/sim_og/trafo_rule3_N8.owfn.png (with props)
trunk/fiona/tests/sim_og/trafo_rule4_N10.owfn.png (with props)
trunk/fiona/tests/sim_og/trafo_rule4_N9.owfn.png (with props)
trunk/fiona/tests/sim_og/trafo_wsfm_M0.owfn.png (with props)
trunk/fiona/tests/sim_og/trafo_wsfm_M1.owfn.png (with props)
trunk/fiona/tests/sim_og/trafo_wsfm_M2.owfn.png (with props)
trunk/fiona/tests/sim_og/trafo_wsfm_M3.owfn.png (with props)
trunk/fiona/tests/smtp/
trunk/fiona/tests/smtp/smtp3.owfn
trunk/fiona/tests/smtp/smtp3.owfn.png (with props)
trunk/fiona/tests/smtp/smtp4.owfn
trunk/fiona/tests/smtp/smtp5.owfn
trunk/fiona/tests/statesReduction/Reservations.owfn.png (with props)
trunk/fiona/tests/statesReduction/myCoffee.owfn.png (with props)
trunk/fiona/tests/syntax/formula.owfn.expected.og.png (with props)
trunk/fiona/tests/syntax/formula.owfn.png (with props)
trunk/fiona/tests/syntax/max_occurrence.owfn.png (with props)
trunk/fiona/tests/syntax/syntax_example.owfn.png (with props)
trunk/fiona/tests/syntax/syntax_example_new.owfn.png (with props)
trunk/fiona/tests/syntax/syntax_example_new_short.owfn.png (with props)
Removed:
trunk/fiona/tests/.cvsignore
trunk/fiona/tests/bdd_ref/.cvsignore
trunk/fiona/tests/countservices/.cvsignore
trunk/fiona/tests/coverability/
trunk/fiona/tests/cyclic/.cvsignore
trunk/fiona/tests/extrema/.cvsignore
trunk/fiona/tests/falseannos/.cvsignore
trunk/fiona/tests/matching/.cvsignore
trunk/fiona/tests/messagebound/.cvsignore
trunk/fiona/tests/minimize/.cvsignore
trunk/fiona/tests/oWFNreduction/.cvsignore
trunk/fiona/tests/partner/.cvsignore
trunk/fiona/tests/philosophers/.cvsignore
trunk/fiona/tests/png/.cvsignore
trunk/fiona/tests/productog/.cvsignore
trunk/fiona/tests/publicview/.cvsignore
trunk/fiona/tests/publicview/complexPV.owfn.og
trunk/fiona/tests/samples/.cvsignore
trunk/fiona/tests/sequence_suite/.cvsignore
trunk/fiona/tests/sim_og/.cvsignore
trunk/fiona/tests/statesReduction/.cvsignore
trunk/fiona/tests/syntax/.cvsignore
Modified:
trunk/fiona/tests/bddtest.sh
trunk/fiona/tests/extrema/all_final_marking.owfn.png
trunk/fiona/tests/extrema/empty.owfn.png
trunk/fiona/tests/extrema/filename WiTh SpaCeS.owfn.png
trunk/fiona/tests/extrema/multiple_input.owfn.png
trunk/fiona/tests/extrema/multiple_input_multiple_output.owfn.png
trunk/fiona/tests/extrema/multiple_output.owfn.png
trunk/fiona/tests/extrema/no_communication.owfn.png
trunk/fiona/tests/extrema/no_final_marking.owfn.png
trunk/fiona/tests/extrema/no_initial_marking.owfn.png
trunk/fiona/tests/extrema/no_initial_marking2.owfn.png
trunk/fiona/tests/extrema/one_input.owfn.png
trunk/fiona/tests/extrema/one_input_2.owfn.png
trunk/fiona/tests/extrema/one_input_marked.owfn.png
trunk/fiona/tests/extrema/one_input_one_output.owfn.png
trunk/fiona/tests/extrema/one_output.owfn.png
trunk/fiona/tests/extrema/one_output_marked.owfn.png
trunk/fiona/tests/matching/interface_rcv-a_snd-by.owfn.png
trunk/fiona/tests/matching/interface_rcv-ax_snd-b.owfn.png
trunk/fiona/tests/partner.sh
trunk/fiona/tests/philosophers.sh
trunk/fiona/tests/philosophers/phcontrol10.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol3.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol4.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol5.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol6.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol7.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol8.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol9.unf.owfn.png
trunk/fiona/tests/productog.sh
trunk/fiona/tests/samples/keesCoffee_condition.owfn.png
trunk/fiona/tests/samples/myCoffee.owfn.png
trunk/fiona/tests/smtp.sh
trunk/fiona/tests/statesReduction.sh
--
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.
