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

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

Revision: 1906
          http://sourceforge.net/p/scstudio/code/1906
Author:   xrehak
Date:     2015-12-14 23:57:15 +0000 (Mon, 14 Dec 2015)
Log Message:
-----------
new test for race based on bug #100

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

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

Modified: trunk/tests/race/CMakeLists.txt
===================================================================
--- trunk/tests/race/CMakeLists.txt	2014-04-03 09:24:40 UTC (rev 1905)
+++ trunk/tests/race/CMakeLists.txt	2015-12-14 23:57:15 UTC (rev 1906)
@@ -1,5 +1,6 @@
 # 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)
 # 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)

Added: trunk/tests/race/race_pos_2_actions.mpr
===================================================================
--- trunk/tests/race/race_pos_2_actions.mpr	                        (rev 0)
+++ trunk/tests/race/race_pos_2_actions.mpr	2015-12-14 23:57:15 UTC (rev 1906)
@@ -0,0 +1,59 @@
+mscdocument actions_failure.vsd;
+msc Stranka_1;
+inst Alice;
+inst Bob;
+inst Public_network_blockchains;
+text 'The one who has lower `px` generates `x`. Lets WLOG assume its Bob.';
+Alice: instance;
+out Order_publish,0 to Public_network_blockchains;
+in Proposes_a_trade_sends_hash_px_,1 from Bob;
+action 'Generates_px_';
+out Accepts_proposal_sends_hash_px_,2 to Bob;
+in Sends_px_,3 from Bob;
+out Sends_px_,4 to Bob;
+in Sends_pubkey_and_hash_x_,5 from Bob;
+action 'Generates_new_key_pair';
+out Sends_pubkey,6 to Bob;
+in Sends_request_for_signing_tx2_,7 from Bob;
+action 'Verifies_tx2_and_signs_it';
+out Sends_signature_for_tx2_,8 to Bob;
+in _tx1_is_verified_and_safely_stored_in_its_blockchain,9 from Public_network_blockchains;
+action 'Generates_tx3_tx4_';
+out Sends_request_for_signing_tx4_,10 to Bob;
+in Sends_signature_for_tx4_,11 from Bob;
+out Broadcasts_tx3_,12 to Public_network_blockchains;
+in Spots_tx5_and_extracts_x_,13 from Public_network_blockchains;
+out Claims_funds_from_tx1_using_x_in_tx6_,14 to Public_network_blockchains;
+endinstance;
+Bob: instance;
+in Order_read,15 from Public_network_blockchains;
+action 'Generates_px_';
+out Proposes_a_trade_sends_hash_px_,1 to Alice;
+in Accepts_proposal_sends_hash_px_,2 from Alice;
+out Sends_px_,3 to Alice;
+in Sends_px_,4 from Alice;
+action 'Generates_new_key_pair';
+out Sends_pubkey_and_hash_x_,5 to Alice;
+in Sends_pubkey,6 from Alice;
+action 'Generates_tx1_tx2_';
+out Sends_request_for_signing_tx2_,7 to Alice;
+in Sends_signature_for_tx2_,8 from Alice;
+out Broadcasts_tx1_,16 to Public_network_blockchains;
+in Sends_request_for_signing_tx4_,10 from Alice;
+action 'Verifies_tx4_and_signs_it';
+out Sends_signature_for_tx4_,11 to Alice;
+in _tx3_is_verified_and_safely_stored_in_its_blockchain,17 from Public_network_blockchains;
+out Claims_funds_from_tx3_by_revealing_x_in_tx5_,18 to Public_network_blockchains;
+endinstance;
+Public_network_blockchains: instance;
+in Order_publish,0 from Alice;
+out Order_read,15 to Bob;
+in Broadcasts_tx1_,16 from Bob;
+out _tx1_is_verified_and_safely_stored_in_its_blockchain,9 to Alice;
+in Broadcasts_tx3_,12 from Alice;
+out _tx3_is_verified_and_safely_stored_in_its_blockchain,17 to Bob;
+in Claims_funds_from_tx3_by_revealing_x_in_tx5_,18 from Bob;
+out Spots_tx5_and_extracts_x_,13 to Alice;
+in Claims_funds_from_tx1_using_x_in_tx6_,14 from Alice;
+endinstance;
+endmsc;

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

Index: trunk/tests/race/race_pos_2_actions.vsd
===================================================================
--- trunk/tests/race/race_pos_2_actions.vsd	2014-04-03 09:24:40 UTC (rev 1905)
+++ trunk/tests/race/race_pos_2_actions.vsd	2015-12-14 23:57:15 UTC (rev 1906)

Property changes on: trunk/tests/race/race_pos_2_actions.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.