[Scstudio-commits] SF.net SVN: scstudio:[1058] trunk/tests/race

[<lko...@us...>]

Revision: 1058
          http://scstudio.svn.sourceforge.net/scstudio/?rev=1058&view=rev
Author:   lkorenciak
Date:     2011-03-02 18:36:38 +0000 (Wed, 02 Mar 2011)

Log Message:
-----------
fixed tests for race checker

Modified Paths:
--------------
    trunk/tests/race/race_neg_1.mpr.result
    trunk/tests/race/race_neg_4.mpr.result
    trunk/tests/race/race_neg_5.mpr.result
    trunk/tests/race/race_neg_6.mpr.result

Added Paths:
-----------
    trunk/tests/race/race_neg_2.mpr.result

Modified: trunk/tests/race/race_neg_1.mpr.result
===================================================================
--- trunk/tests/race/race_neg_1.mpr.result	2011-03-02 18:24:30 UTC (rev 1057)
+++ trunk/tests/race/race_neg_1.mpr.result	2011-03-02 18:36:38 UTC (rev 1058)
@@ -0,0 +1,43 @@
+Warning: HMSC node without successors violates the Z.120 standard.
+Race Free violated
+OK: race_neg_1 violated Race Free, should be violated
+mscdocument counter_example;
+msc Page_1;
+initial connect L0;
+/* MARKED */
+L0: reference _1_a connect L1;
+/* MARKED */
+L1: reference _2_c;
+endmsc;
+msc _1_a;
+inst y;
+inst z;
+inst x;
+y: instance;
+/* MARKED */
+/* MARKED */
+in NAME,0 from z;
+endinstance;
+z: instance;
+/* MARKED */
+out NAME,0 to y;
+endinstance;
+x: instance;
+endinstance;
+endmsc;
+msc _2_c;
+inst x;
+inst y;
+inst z;
+x: instance;
+/* MARKED */
+out NAME,0 to y;
+endinstance;
+y: instance;
+/* MARKED */
+/* MARKED */
+in NAME,0 from x;
+endinstance;
+z: instance;
+endinstance;
+endmsc;

Added: trunk/tests/race/race_neg_2.mpr.result
===================================================================
--- trunk/tests/race/race_neg_2.mpr.result	                        (rev 0)
+++ trunk/tests/race/race_neg_2.mpr.result	2011-03-02 18:36:38 UTC (rev 1058)
@@ -0,0 +1,55 @@
+Warning: HMSC node without successors violates the Z.120 standard.
+Race Free violated
+OK: race_neg_2 violated Race Free, should be violated
+mscdocument counter_example;
+msc Page_1;
+initial connect L0;
+L0: reference _1_0 connect L1;
+/* MARKED */
+L1: reference _2_a connect L2;
+/* MARKED */
+L2: reference _3_b;
+endmsc;
+msc _1_0;
+inst p;
+inst q;
+inst r;
+p: instance;
+endinstance;
+q: instance;
+endinstance;
+r: instance;
+endinstance;
+endmsc;
+msc _2_a;
+inst p;
+inst q;
+inst r;
+p: instance;
+/* MARKED */
+out a,0 to q;
+endinstance;
+q: instance;
+/* MARKED */
+/* MARKED */
+in a,0 from p;
+endinstance;
+r: instance;
+endinstance;
+endmsc;
+msc _3_b;
+inst q;
+inst r;
+inst p;
+q: instance;
+/* MARKED */
+/* MARKED */
+in b,0 from r;
+endinstance;
+r: instance;
+/* MARKED */
+out b,0 to q;
+endinstance;
+p: instance;
+endinstance;
+endmsc;


Property changes on: trunk/tests/race/race_neg_2.mpr.result
___________________________________________________________________
Added: svn:eol-style
   + native

Modified: trunk/tests/race/race_neg_4.mpr.result
===================================================================
--- trunk/tests/race/race_neg_4.mpr.result	2011-03-02 18:24:30 UTC (rev 1057)
+++ trunk/tests/race/race_neg_4.mpr.result	2011-03-02 18:36:38 UTC (rev 1058)
@@ -1,5 +1,5 @@
 Race Free violated
-OK: rozcvicka_bmsc violated Race Free, should be violated
+OK: race_neg_4 violated Race Free, should be violated
 mscdocument counter_example;
 msc cele;
 inst Client;

Modified: trunk/tests/race/race_neg_5.mpr.result
===================================================================
--- trunk/tests/race/race_neg_5.mpr.result	2011-03-02 18:24:30 UTC (rev 1057)
+++ trunk/tests/race/race_neg_5.mpr.result	2011-03-02 18:36:38 UTC (rev 1058)
@@ -1,6 +1,6 @@
 Warning: HMSC node without successors violates the Z.120 standard.
 Race Free violated
-OK: rozcvicka_hmsc violated Race Free, should be violated
+OK: race_neg_5 violated Race Free, should be violated
 mscdocument counter_example;
 msc HMSC;
 initial connect L0;

Modified: trunk/tests/race/race_neg_6.mpr.result
===================================================================
--- trunk/tests/race/race_neg_6.mpr.result	2011-03-02 18:24:30 UTC (rev 1057)
+++ trunk/tests/race/race_neg_6.mpr.result	2011-03-02 18:36:38 UTC (rev 1058)
@@ -1,6 +1,6 @@
 Warning: HMSC node without successors violates the Z.120 standard.
 Race Free violated
-OK: rozcvicka_long violated Race Free, should be violated
+OK: race_neg_6 violated Race Free, should be violated
 mscdocument counter_example;
 msc HMSC;
 initial connect L0;


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.