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

[<xr...@us...>]

Revision: 1908
          http://sourceforge.net/p/scstudio/code/1908
Author:   xrehak
Date:     2016-01-12 15:22:19 +0000 (Tue, 12 Jan 2016)
Log Message:
-----------
new test and typo in race/race_pos_2_actions.mpr "let's" causes error during import

Modified Paths:
--------------
    trunk/tests/race/CMakeLists.txt
    trunk/tests/race/race_pos_2_actions.mpr

Added Paths:
-----------
    trunk/tests/race/race_pos_3_action_small.mpr
    trunk/tests/race/race_pos_3_action_small.vsd

Modified: trunk/tests/race/CMakeLists.txt
===================================================================
--- trunk/tests/race/CMakeLists.txt	2016-01-08 14:31:25 UTC (rev 1907)
+++ trunk/tests/race/CMakeLists.txt	2016-01-12 15:22:19 UTC (rev 1908)
@@ -1,6 +1,7 @@
 # Positive test-cases
 ADD_CHECKER_TEST(scrace "Race Free" race_pos_1.mpr 1)
 ADD_CHECKER_TEST(scrace "Race Free" race_pos_2_actions.mpr 1)
+ADD_CHECKER_TEST(scrace "Race Free" race_pos_3_action_small.mpr 1)
 # Negative test-cases
 ADD_CHECKER_TEST(scrace "Race Free" race_neg_1.mpr 0)
 ADD_CHECKER_TEST(scrace "Race Free" race_neg_2.mpr 0)

Modified: trunk/tests/race/race_pos_2_actions.mpr
===================================================================
--- trunk/tests/race/race_pos_2_actions.mpr	2016-01-08 14:31:25 UTC (rev 1907)
+++ trunk/tests/race/race_pos_2_actions.mpr	2016-01-12 15:22:19 UTC (rev 1908)
@@ -3,7 +3,7 @@
 inst Alice;
 inst Bob;
 inst Public_network_blockchains;
-text 'The one who has lower `px` generates `x`. Lets WLOG assume its Bob.';
+text 'The one who has lower `px` generates `x`. Let us WLOG assume it is Bob.';
 Alice: instance;
 out Order_publish,0 to Public_network_blockchains;
 in Proposes_a_trade_sends_hash_px_,1 from Bob;

Added: trunk/tests/race/race_pos_3_action_small.mpr
===================================================================
--- trunk/tests/race/race_pos_3_action_small.mpr	                        (rev 0)
+++ trunk/tests/race/race_pos_3_action_small.mpr	2016-01-12 15:22:19 UTC (rev 1908)
@@ -0,0 +1,17 @@
+mscdocument actions_failure_small.vsd;
+msc Stranka_1;
+inst Alice;
+inst Bob;
+inst Public_network_blockchains;
+Alice: instance;
+out Order_publish,0 to Public_network_blockchains;
+endinstance;
+Bob: instance;
+in Order_read,1 from Public_network_blockchains;
+action 'Generates_px_';
+endinstance;
+Public_network_blockchains: instance;
+in Order_publish,0 from Alice;
+out Order_read,1 to Bob;
+endinstance;
+endmsc;

Added: trunk/tests/race/race_pos_3_action_small.vsd
===================================================================
(Binary files differ)

Index: trunk/tests/race/race_pos_3_action_small.vsd
===================================================================
--- trunk/tests/race/race_pos_3_action_small.vsd	2016-01-08 14:31:25 UTC (rev 1907)
+++ trunk/tests/race/race_pos_3_action_small.vsd	2016-01-12 15:22:19 UTC (rev 1908)

Property changes on: trunk/tests/race/race_pos_3_action_small.vsd
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/vsd
\ No newline at end of property
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.