Menu
▾
▴
[Scstudio-commits] SF.net SVN: scstudio:[1911] trunk/tests
|
From: <xr...@us...> - 2016-01-12 16:33:14
|
Revision: 1911
http://sourceforge.net/p/scstudio/code/1911
Author: xrehak
Date: 2016-01-12 16:33:11 +0000 (Tue, 12 Jan 2016)
Log Message:
-----------
mpr svn:eol-style property
Modified Paths:
--------------
trunk/tests/diff/flow12_1.mpr
trunk/tests/diff/flow12_2.mpr
trunk/tests/diff/spec12.mpr
trunk/tests/membership/partial_mem_easy.mpr
trunk/tests/membership/partial_mem_easy_pat3.mpr
trunk/tests/membership/partial_mem_easy_pat4.mpr
trunk/tests/membership/test_bmsc35.mpr
trunk/tests/membership/test_hmsc35.mpr
trunk/tests/membership/test_hmsc36.mpr
trunk/tests/race/race_pos_2_actions.mpr
trunk/tests/race/race_pos_3_action_small.mpr
trunk/tests/time/consistency/cons_neg_37.mpr
trunk/tests/time/consistency/cons_pos_21.mpr
trunk/tests/time/consistency/cons_pos_22.mpr
trunk/tests/time/consistency/cons_pos_23.mpr
trunk/tests/time/consistency/cons_pos_24.mpr
trunk/tests/time/time_race/race_cond_neg1.mpr
trunk/tests/time/time_race/race_cond_neg2.mpr
trunk/tests/time/time_race/race_cond_pos2.mpr
trunk/tests/time/time_race/race_cond_pos3.mpr
trunk/tests/time/time_race/race_pos_2_actions.mpr
trunk/tests/time/time_race/race_pos_3_action_small.mpr
trunk/tests/time_relevant_ordering/tro_test00.mpr
trunk/tests/time_relevant_ordering/tro_test01.mpr
trunk/tests/time_relevant_ordering/tro_test02.mpr
trunk/tests/time_relevant_ordering/tro_test03.mpr
trunk/tests/time_relevant_ordering/tro_test04.mpr
trunk/tests/time_relevant_ordering/tro_test05.mpr
trunk/tests/time_relevant_ordering/tro_test06.mpr
trunk/tests/time_relevant_ordering/tro_test07.mpr
trunk/tests/time_relevant_ordering/tro_test08.mpr
trunk/tests/time_relevant_ordering/tro_test09.mpr
trunk/tests/time_relevant_ordering/tro_test10.mpr
trunk/tests/z120_test/z120_test94.mpr
trunk/tests/z120_test/z120_time50.mpr
trunk/tests/z120_test/z120_time51.mpr
trunk/tests/z120_test/z120_time52.mpr
Property Changed:
----------------
trunk/tests/diff/coregion.mpr
trunk/tests/diff/coregion_flow.mpr
trunk/tests/diff/flow01.mpr
trunk/tests/diff/flow02_1.mpr
trunk/tests/diff/flow02_2.mpr
trunk/tests/diff/flow02_3.mpr
trunk/tests/diff/flow02_4.mpr
trunk/tests/diff/flow04_5.mpr
trunk/tests/diff/flow04_6.mpr
trunk/tests/diff/flow05_1.mpr
trunk/tests/diff/flow05_2.mpr
trunk/tests/diff/flow05_3.mpr
trunk/tests/diff/flow06_1.mpr
trunk/tests/diff/flow06_2.mpr
trunk/tests/diff/flow06_3.mpr
trunk/tests/diff/flow07_1.mpr
trunk/tests/diff/flow07_2.mpr
trunk/tests/diff/flow08_1.mpr
trunk/tests/diff/flow09_1.mpr
trunk/tests/diff/flow10.mpr
trunk/tests/diff/flow11.mpr
trunk/tests/diff/flow12_1.mpr
trunk/tests/diff/flow12_2.mpr
trunk/tests/diff/spec01.mpr
trunk/tests/diff/spec02.mpr
trunk/tests/diff/spec05.mpr
trunk/tests/diff/spec06.mpr
trunk/tests/diff/spec07.mpr
trunk/tests/diff/spec08.mpr
trunk/tests/diff/spec09.mpr
trunk/tests/diff/spec10.mpr
trunk/tests/diff/spec11.mpr
trunk/tests/diff/spec12.mpr
trunk/tests/membership/BMSCxBMSC1.mpr
trunk/tests/membership/BMSCxBMSC2.mpr
trunk/tests/membership/BMSCxBMSC3.mpr
trunk/tests/membership/BMSCxBMSC4.mpr
trunk/tests/membership/absolut_time_bmsc01_1.mpr
trunk/tests/membership/absolut_time_bmsc01_2.mpr
trunk/tests/membership/absolut_time_bmsc02_1.mpr
trunk/tests/membership/absolut_time_bmsc02_2.mpr
trunk/tests/membership/absolut_time_hmsc01.mpr
trunk/tests/membership/absolut_time_hmsc02.mpr
trunk/tests/membership/bmsc_absolute_pat1_1.mpr
trunk/tests/membership/bmsc_absolute_pat1_2.mpr
trunk/tests/membership/bmsc_absolute_pat2_1.mpr
trunk/tests/membership/bmsc_absolute_pat2_2.mpr
trunk/tests/membership/bmsc_absolute_pat2_3.mpr
trunk/tests/membership/bmsc_absolute_pat2_4.mpr
trunk/tests/membership/bmsc_absolute_pat2_5.mpr
trunk/tests/membership/complete1.mpr
trunk/tests/membership/complete_partial_pat1.mpr
trunk/tests/membership/complete_partial_pat2.mpr
trunk/tests/membership/complete_pat5.mpr
trunk/tests/membership/complete_pat6_1.mpr
trunk/tests/membership/complete_pat6_2.mpr
trunk/tests/membership/complete_pat6_3.mpr
trunk/tests/membership/complete_pat6_4.mpr
trunk/tests/membership/complete_pat6_5.mpr
trunk/tests/membership/complete_pat6_6.mpr
trunk/tests/membership/complete_pat8_1.mpr
trunk/tests/membership/complete_pat8_2.mpr
trunk/tests/membership/partial_mem_easy.mpr
trunk/tests/membership/partial_mem_easy_pat2.mpr
trunk/tests/membership/partial_mem_easy_pat3.mpr
trunk/tests/membership/partial_mem_easy_pat4.mpr
trunk/tests/membership/rozcvicka_bmsc1.mpr
trunk/tests/membership/rozcvicka_bmsc2.mpr
trunk/tests/membership/test_bmsc29_1.mpr
trunk/tests/membership/test_bmsc29_2.mpr
trunk/tests/membership/test_bmsc30_1.mpr
trunk/tests/membership/test_bmsc30_2.mpr
trunk/tests/membership/test_bmsc31_1.mpr
trunk/tests/membership/test_bmsc32.mpr
trunk/tests/membership/test_bmsc32_1.mpr
trunk/tests/membership/test_bmsc32_2.mpr
trunk/tests/membership/test_bmsc33.mpr
trunk/tests/membership/test_bmsc33_1.mpr
trunk/tests/membership/test_bmsc34.mpr
trunk/tests/membership/test_bmsc35.mpr
trunk/tests/membership/test_bmsc36.mpr
trunk/tests/membership/test_hmsc29.mpr
trunk/tests/membership/test_hmsc30.mpr
trunk/tests/membership/test_hmsc31.mpr
trunk/tests/membership/test_hmsc33.mpr
trunk/tests/membership/test_hmsc35.mpr
trunk/tests/membership/test_hmsc36.mpr
trunk/tests/membership/time_cycle_pos2_hmsc.mpr
trunk/tests/membership/time_cycle_pos2_pat.mpr
trunk/tests/membership/time_hard_bmsc_pat03.mpr
trunk/tests/membership/time_hard_bmsc_pat04.mpr
trunk/tests/membership/time_hard_bmsc_pat05.mpr
trunk/tests/race/race_pos_2_actions.mpr
trunk/tests/race/race_pos_3_action_small.mpr
trunk/tests/time/consistency/cons_neg_37.mpr
trunk/tests/time/consistency/cons_pos_21.mpr
trunk/tests/time/consistency/cons_pos_22.mpr
trunk/tests/time/consistency/cons_pos_23.mpr
trunk/tests/time/consistency/cons_pos_24.mpr
trunk/tests/time/time_race/race_cond_neg1.mpr
trunk/tests/time/time_race/race_cond_neg2.mpr
trunk/tests/time/time_race/race_cond_pos1.mpr
trunk/tests/time/time_race/race_cond_pos2.mpr
trunk/tests/time/time_race/race_cond_pos3.mpr
trunk/tests/time/time_race/race_pos_2_actions.mpr
trunk/tests/time/time_race/race_pos_3_action_small.mpr
trunk/tests/time_relevant_ordering/tro_test00.mpr
trunk/tests/time_relevant_ordering/tro_test01.mpr
trunk/tests/time_relevant_ordering/tro_test02.mpr
trunk/tests/time_relevant_ordering/tro_test03.mpr
trunk/tests/time_relevant_ordering/tro_test04.mpr
trunk/tests/time_relevant_ordering/tro_test05.mpr
trunk/tests/time_relevant_ordering/tro_test06.mpr
trunk/tests/time_relevant_ordering/tro_test07.mpr
trunk/tests/time_relevant_ordering/tro_test08.mpr
trunk/tests/time_relevant_ordering/tro_test09.mpr
trunk/tests/time_relevant_ordering/tro_test10.mpr
trunk/tests/time_relevant_ordering/tro_test11.mpr
trunk/tests/time_relevant_ordering/tro_test12.mpr
trunk/tests/time_relevant_ordering/tro_test13.mpr
trunk/tests/time_relevant_ordering/tro_test14.mpr
trunk/tests/time_relevant_ordering/tro_test15.mpr
trunk/tests/time_relevant_ordering/tro_test16.mpr
trunk/tests/time_relevant_ordering/tro_test17.mpr
trunk/tests/time_relevant_ordering/tro_test18.mpr
trunk/tests/time_relevant_ordering/tro_test19.mpr
trunk/tests/time_relevant_ordering/tro_test20.mpr
trunk/tests/time_relevant_ordering/tro_test21.mpr
trunk/tests/time_relevant_ordering/tro_test22.mpr
trunk/tests/time_relevant_ordering/tro_test23.mpr
trunk/tests/time_relevant_ordering/tro_test24.mpr
trunk/tests/time_relevant_ordering/tro_test25.mpr
trunk/tests/time_relevant_ordering/tro_test26.mpr
trunk/tests/time_relevant_ordering/tro_test27.mpr
trunk/tests/time_relevant_ordering/tro_test28.mpr
trunk/tests/time_relevant_ordering/tro_test29.mpr
trunk/tests/time_relevant_ordering/tro_test30.mpr
trunk/tests/z120_test/z120_test88.mpr
trunk/tests/z120_test/z120_test89.mpr
trunk/tests/z120_test/z120_test90.mpr
trunk/tests/z120_test/z120_test91.mpr
trunk/tests/z120_test/z120_test92.mpr
trunk/tests/z120_test/z120_test93.mpr
trunk/tests/z120_test/z120_test94.mpr
trunk/tests/z120_test/z120_time32.mpr
trunk/tests/z120_test/z120_time33.mpr
trunk/tests/z120_test/z120_time34.mpr
trunk/tests/z120_test/z120_time35.mpr
trunk/tests/z120_test/z120_time36.mpr
trunk/tests/z120_test/z120_time37.mpr
trunk/tests/z120_test/z120_time38.mpr
trunk/tests/z120_test/z120_time39.mpr
trunk/tests/z120_test/z120_time40.mpr
trunk/tests/z120_test/z120_time41.mpr
trunk/tests/z120_test/z120_time42.mpr
trunk/tests/z120_test/z120_time43.mpr
trunk/tests/z120_test/z120_time44.mpr
trunk/tests/z120_test/z120_time45.mpr
trunk/tests/z120_test/z120_time46.mpr
trunk/tests/z120_test/z120_time47.mpr
trunk/tests/z120_test/z120_time48.mpr
trunk/tests/z120_test/z120_time49.mpr
trunk/tests/z120_test/z120_time50.mpr
trunk/tests/z120_test/z120_time51.mpr
trunk/tests/z120_test/z120_time52.mpr
Index: trunk/tests/diff/coregion.mpr
===================================================================
--- trunk/tests/diff/coregion.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/coregion.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/coregion.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/coregion_flow.mpr
===================================================================
--- trunk/tests/diff/coregion_flow.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/coregion_flow.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/coregion_flow.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow01.mpr
===================================================================
--- trunk/tests/diff/flow01.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow01.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow01.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow02_1.mpr
===================================================================
--- trunk/tests/diff/flow02_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow02_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow02_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow02_2.mpr
===================================================================
--- trunk/tests/diff/flow02_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow02_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow02_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow02_3.mpr
===================================================================
--- trunk/tests/diff/flow02_3.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow02_3.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow02_3.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow02_4.mpr
===================================================================
--- trunk/tests/diff/flow02_4.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow02_4.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow02_4.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow04_5.mpr
===================================================================
--- trunk/tests/diff/flow04_5.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow04_5.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow04_5.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow04_6.mpr
===================================================================
--- trunk/tests/diff/flow04_6.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow04_6.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow04_6.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow05_1.mpr
===================================================================
--- trunk/tests/diff/flow05_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow05_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow05_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow05_2.mpr
===================================================================
--- trunk/tests/diff/flow05_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow05_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow05_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow05_3.mpr
===================================================================
--- trunk/tests/diff/flow05_3.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow05_3.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow05_3.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow06_1.mpr
===================================================================
--- trunk/tests/diff/flow06_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow06_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow06_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow06_2.mpr
===================================================================
--- trunk/tests/diff/flow06_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow06_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow06_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow06_3.mpr
===================================================================
--- trunk/tests/diff/flow06_3.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow06_3.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow06_3.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow07_1.mpr
===================================================================
--- trunk/tests/diff/flow07_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow07_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow07_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow07_2.mpr
===================================================================
--- trunk/tests/diff/flow07_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow07_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow07_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow08_1.mpr
===================================================================
--- trunk/tests/diff/flow08_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow08_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow08_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow09_1.mpr
===================================================================
--- trunk/tests/diff/flow09_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow09_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow09_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow10.mpr
===================================================================
--- trunk/tests/diff/flow10.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow10.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow10.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/flow11.mpr
===================================================================
--- trunk/tests/diff/flow11.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow11.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/flow11.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/diff/flow12_1.mpr
===================================================================
--- trunk/tests/diff/flow12_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow12_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,15 +1,15 @@
-mscdocument Drawing7;
-msc Page_1;
-inst A;
-inst B;
-A: instance;
-out a,0 to B;
-out a,1 to B;
-out a,2 to B;
-endinstance;
-B: instance;
-in a,2 from A;
-in a,0 from A;
-in a,1 from A;
-endinstance;
-endmsc;
+mscdocument Drawing7;
+msc Page_1;
+inst A;
+inst B;
+A: instance;
+out a,0 to B;
+out a,1 to B;
+out a,2 to B;
+endinstance;
+B: instance;
+in a,2 from A;
+in a,0 from A;
+in a,1 from A;
+endinstance;
+endmsc;
Property changes on: trunk/tests/diff/flow12_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/diff/flow12_2.mpr
===================================================================
--- trunk/tests/diff/flow12_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/flow12_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,15 +1,15 @@
-mscdocument Drawing9;
-msc Page_1;
-inst A;
-inst B;
-A: instance;
-out a,0 to B;
-out a,1 to B;
-out a,2 to B;
-endinstance;
-B: instance;
-in a,1 from A;
-in a,2 from A;
-in a,0 from A;
-endinstance;
-endmsc;
+mscdocument Drawing9;
+msc Page_1;
+inst A;
+inst B;
+A: instance;
+out a,0 to B;
+out a,1 to B;
+out a,2 to B;
+endinstance;
+B: instance;
+in a,1 from A;
+in a,2 from A;
+in a,0 from A;
+endinstance;
+endmsc;
Property changes on: trunk/tests/diff/flow12_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec01.mpr
===================================================================
--- trunk/tests/diff/spec01.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec01.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec01.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec02.mpr
===================================================================
--- trunk/tests/diff/spec02.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec02.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec02.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec05.mpr
===================================================================
--- trunk/tests/diff/spec05.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec05.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec05.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec06.mpr
===================================================================
--- trunk/tests/diff/spec06.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec06.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec06.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec07.mpr
===================================================================
--- trunk/tests/diff/spec07.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec07.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec07.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec08.mpr
===================================================================
--- trunk/tests/diff/spec08.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec08.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec08.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec09.mpr
===================================================================
--- trunk/tests/diff/spec09.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec09.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec09.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec10.mpr
===================================================================
--- trunk/tests/diff/spec10.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec10.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec10.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/diff/spec11.mpr
===================================================================
--- trunk/tests/diff/spec11.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec11.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/diff/spec11.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/diff/spec12.mpr
===================================================================
--- trunk/tests/diff/spec12.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/diff/spec12.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,13 +1,13 @@
-mscdocument Drawing5;
-msc Page_1;
-inst A;
-inst B;
-A: instance;
-out a,0 to B;
-out a,1 to B;
-endinstance;
-B: instance;
-in a,0 from A;
-in a,1 from A;
-endinstance;
-endmsc;
+mscdocument Drawing5;
+msc Page_1;
+inst A;
+inst B;
+A: instance;
+out a,0 to B;
+out a,1 to B;
+endinstance;
+B: instance;
+in a,0 from A;
+in a,1 from A;
+endinstance;
+endmsc;
Property changes on: trunk/tests/diff/spec12.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/BMSCxBMSC1.mpr
===================================================================
--- trunk/tests/membership/BMSCxBMSC1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/BMSCxBMSC1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/BMSCxBMSC1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/BMSCxBMSC2.mpr
===================================================================
--- trunk/tests/membership/BMSCxBMSC2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/BMSCxBMSC2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/BMSCxBMSC2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/BMSCxBMSC3.mpr
===================================================================
--- trunk/tests/membership/BMSCxBMSC3.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/BMSCxBMSC3.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/BMSCxBMSC3.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/BMSCxBMSC4.mpr
===================================================================
--- trunk/tests/membership/BMSCxBMSC4.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/BMSCxBMSC4.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/BMSCxBMSC4.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/absolut_time_bmsc01_1.mpr
===================================================================
--- trunk/tests/membership/absolut_time_bmsc01_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/absolut_time_bmsc01_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/absolut_time_bmsc01_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/absolut_time_bmsc01_2.mpr
===================================================================
--- trunk/tests/membership/absolut_time_bmsc01_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/absolut_time_bmsc01_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/absolut_time_bmsc01_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/absolut_time_bmsc02_1.mpr
===================================================================
--- trunk/tests/membership/absolut_time_bmsc02_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/absolut_time_bmsc02_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/absolut_time_bmsc02_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/absolut_time_bmsc02_2.mpr
===================================================================
--- trunk/tests/membership/absolut_time_bmsc02_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/absolut_time_bmsc02_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/absolut_time_bmsc02_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/absolut_time_hmsc01.mpr
===================================================================
--- trunk/tests/membership/absolut_time_hmsc01.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/absolut_time_hmsc01.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/absolut_time_hmsc01.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/absolut_time_hmsc02.mpr
===================================================================
--- trunk/tests/membership/absolut_time_hmsc02.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/absolut_time_hmsc02.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/absolut_time_hmsc02.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/bmsc_absolute_pat1_1.mpr
===================================================================
--- trunk/tests/membership/bmsc_absolute_pat1_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/bmsc_absolute_pat1_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/bmsc_absolute_pat1_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/bmsc_absolute_pat1_2.mpr
===================================================================
--- trunk/tests/membership/bmsc_absolute_pat1_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/bmsc_absolute_pat1_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/bmsc_absolute_pat1_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/bmsc_absolute_pat2_1.mpr
===================================================================
--- trunk/tests/membership/bmsc_absolute_pat2_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/bmsc_absolute_pat2_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/bmsc_absolute_pat2_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/bmsc_absolute_pat2_2.mpr
===================================================================
--- trunk/tests/membership/bmsc_absolute_pat2_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/bmsc_absolute_pat2_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/bmsc_absolute_pat2_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/bmsc_absolute_pat2_3.mpr
===================================================================
--- trunk/tests/membership/bmsc_absolute_pat2_3.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/bmsc_absolute_pat2_3.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/bmsc_absolute_pat2_3.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/bmsc_absolute_pat2_4.mpr
===================================================================
--- trunk/tests/membership/bmsc_absolute_pat2_4.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/bmsc_absolute_pat2_4.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/bmsc_absolute_pat2_4.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/bmsc_absolute_pat2_5.mpr
===================================================================
--- trunk/tests/membership/bmsc_absolute_pat2_5.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/bmsc_absolute_pat2_5.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/bmsc_absolute_pat2_5.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete1.mpr
===================================================================
--- trunk/tests/membership/complete1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_partial_pat1.mpr
===================================================================
--- trunk/tests/membership/complete_partial_pat1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_partial_pat1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_partial_pat1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_partial_pat2.mpr
===================================================================
--- trunk/tests/membership/complete_partial_pat2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_partial_pat2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_partial_pat2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat5.mpr
===================================================================
--- trunk/tests/membership/complete_pat5.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat5.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat5.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat6_1.mpr
===================================================================
--- trunk/tests/membership/complete_pat6_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat6_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat6_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat6_2.mpr
===================================================================
--- trunk/tests/membership/complete_pat6_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat6_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat6_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat6_3.mpr
===================================================================
--- trunk/tests/membership/complete_pat6_3.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat6_3.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat6_3.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat6_4.mpr
===================================================================
--- trunk/tests/membership/complete_pat6_4.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat6_4.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat6_4.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat6_5.mpr
===================================================================
--- trunk/tests/membership/complete_pat6_5.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat6_5.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat6_5.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat6_6.mpr
===================================================================
--- trunk/tests/membership/complete_pat6_6.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat6_6.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat6_6.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat8_1.mpr
===================================================================
--- trunk/tests/membership/complete_pat8_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat8_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat8_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/complete_pat8_2.mpr
===================================================================
--- trunk/tests/membership/complete_pat8_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/complete_pat8_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/complete_pat8_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/membership/partial_mem_easy.mpr
===================================================================
--- trunk/tests/membership/partial_mem_easy.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/partial_mem_easy.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,20 +1,20 @@
-mscdocument partial_mem_easy.vsd;
-msc Page_1;
-inst A;
-inst B;
-inst C;
-A: instance;
-out a,0 to B;
-in e,1 from B;
-endinstance;
-B: instance;
-in a,0 from A;
-out b,2 to C;
-in c,3 from C;
-out e,1 to A;
-endinstance;
-C: instance;
-in b,2 from B;
-out c,3 to B;
-endinstance;
-endmsc;
+mscdocument partial_mem_easy.vsd;
+msc Page_1;
+inst A;
+inst B;
+inst C;
+A: instance;
+out a,0 to B;
+in e,1 from B;
+endinstance;
+B: instance;
+in a,0 from A;
+out b,2 to C;
+in c,3 from C;
+out e,1 to A;
+endinstance;
+C: instance;
+in b,2 from B;
+out c,3 to B;
+endinstance;
+endmsc;
Property changes on: trunk/tests/membership/partial_mem_easy.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/partial_mem_easy_pat2.mpr
===================================================================
--- trunk/tests/membership/partial_mem_easy_pat2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/partial_mem_easy_pat2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/partial_mem_easy_pat2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/membership/partial_mem_easy_pat3.mpr
===================================================================
--- trunk/tests/membership/partial_mem_easy_pat3.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/partial_mem_easy_pat3.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,20 +1,20 @@
-mscdocument partial_mem_easy.vsd;
-msc Page_1;
-inst A;
-inst B;
-inst C;
-A: instance;
-out a,0 to B;
-in e,1 from B;
-endinstance;
-B: instance;
-in a,0 from A;
-out b,2 to C;
-in c,3 from C;
-out e,1 to A;
-endinstance;
-C: instance;
-in b,2 from B;
-out c,3 to B;
-endinstance;
-endmsc;
+mscdocument partial_mem_easy.vsd;
+msc Page_1;
+inst A;
+inst B;
+inst C;
+A: instance;
+out a,0 to B;
+in e,1 from B;
+endinstance;
+B: instance;
+in a,0 from A;
+out b,2 to C;
+in c,3 from C;
+out e,1 to A;
+endinstance;
+C: instance;
+in b,2 from B;
+out c,3 to B;
+endinstance;
+endmsc;
Property changes on: trunk/tests/membership/partial_mem_easy_pat3.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/membership/partial_mem_easy_pat4.mpr
===================================================================
--- trunk/tests/membership/partial_mem_easy_pat4.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/partial_mem_easy_pat4.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,20 +1,20 @@
-mscdocument partial_mem_easy.vsd;
-msc Page_1;
-inst A;
-inst B;
-inst C;
-A: instance;
-out a,0 to B;
-in e,1 from B;
-endinstance;
-B: instance;
-in a,0 from A;
-out b,2 to C;
-in c,3 from C;
-out e,1 to A;
-endinstance;
-C: instance;
-in b,2 from B;
-out c,3 to B;
-endinstance;
-endmsc;
+mscdocument partial_mem_easy.vsd;
+msc Page_1;
+inst A;
+inst B;
+inst C;
+A: instance;
+out a,0 to B;
+in e,1 from B;
+endinstance;
+B: instance;
+in a,0 from A;
+out b,2 to C;
+in c,3 from C;
+out e,1 to A;
+endinstance;
+C: instance;
+in b,2 from B;
+out c,3 to B;
+endinstance;
+endmsc;
Property changes on: trunk/tests/membership/partial_mem_easy_pat4.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/rozcvicka_bmsc1.mpr
===================================================================
--- trunk/tests/membership/rozcvicka_bmsc1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/rozcvicka_bmsc1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/rozcvicka_bmsc1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/rozcvicka_bmsc2.mpr
===================================================================
--- trunk/tests/membership/rozcvicka_bmsc2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/rozcvicka_bmsc2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/rozcvicka_bmsc2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc29_1.mpr
===================================================================
--- trunk/tests/membership/test_bmsc29_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc29_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc29_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc29_2.mpr
===================================================================
--- trunk/tests/membership/test_bmsc29_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc29_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc29_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc30_1.mpr
===================================================================
--- trunk/tests/membership/test_bmsc30_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc30_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc30_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc30_2.mpr
===================================================================
--- trunk/tests/membership/test_bmsc30_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc30_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc30_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc31_1.mpr
===================================================================
--- trunk/tests/membership/test_bmsc31_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc31_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc31_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc32.mpr
===================================================================
--- trunk/tests/membership/test_bmsc32.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc32.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc32.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc32_1.mpr
===================================================================
--- trunk/tests/membership/test_bmsc32_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc32_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc32_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc32_2.mpr
===================================================================
--- trunk/tests/membership/test_bmsc32_2.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc32_2.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc32_2.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc33.mpr
===================================================================
--- trunk/tests/membership/test_bmsc33.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc33.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc33.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc33_1.mpr
===================================================================
--- trunk/tests/membership/test_bmsc33_1.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc33_1.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc33_1.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc34.mpr
===================================================================
--- trunk/tests/membership/test_bmsc34.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc34.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc34.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/membership/test_bmsc35.mpr
===================================================================
--- trunk/tests/membership/test_bmsc35.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc35.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,19 +1,19 @@
-mscdocument Membership_help_bmsc.vsd;
-msc Page_1;
-inst A;
-inst B;
-A: instance;
-label e0;
-out request,0 to B;
-time e1 [1], e2 [7];
-label e2;
-in response,1 from B;
-endinstance;
-B: instance;
-label e1;
-in request,0 from A;
-time e3 [2];
-label e3;
-out response,1 to A;
-endinstance;
-endmsc;
+mscdocument Membership_help_bmsc.vsd;
+msc Page_1;
+inst A;
+inst B;
+A: instance;
+label e0;
+out request,0 to B;
+time e1 [1], e2 [7];
+label e2;
+in response,1 from B;
+endinstance;
+B: instance;
+label e1;
+in request,0 from A;
+time e3 [2];
+label e3;
+out response,1 to A;
+endinstance;
+endmsc;
Property changes on: trunk/tests/membership/test_bmsc35.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_bmsc36.mpr
===================================================================
--- trunk/tests/membership/test_bmsc36.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_bmsc36.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_bmsc36.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_hmsc29.mpr
===================================================================
--- trunk/tests/membership/test_hmsc29.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_hmsc29.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_hmsc29.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_hmsc30.mpr
===================================================================
--- trunk/tests/membership/test_hmsc30.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_hmsc30.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_hmsc30.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_hmsc31.mpr
===================================================================
--- trunk/tests/membership/test_hmsc31.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_hmsc31.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_hmsc31.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/test_hmsc33.mpr
===================================================================
--- trunk/tests/membership/test_hmsc33.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_hmsc33.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/test_hmsc33.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/membership/test_hmsc35.mpr
===================================================================
--- trunk/tests/membership/test_hmsc35.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_hmsc35.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,46 +1,46 @@
-mscdocument membership_help_bug.vsd;
-msc Page_1;
-initial connect L0;
-L0: connect L1, L2;
-L1: reference bmsc2 time [0,4);
- connect L3;
-L2: reference bmsc1 top top L4 [0,12];
- bottom top L4 [0,3);
- connect L4;
-L3: connect L5;
-L4: reference bmsc3 connect L3;
-L5: final;
-endmsc;
-msc bmsc1;
-inst A;
-inst B;
-A: instance;
-label e0;
-out request,0 to B;
-time e1 [0,2);
-endinstance;
-B: instance;
-label e1;
-in request,0 from A;
-endinstance;
-endmsc;
-msc bmsc3;
-inst A;
-inst B;
-A: instance;
-in response,0 from B;
-endinstance;
-B: instance;
-out response,0 to A;
-endinstance;
-endmsc;
-msc bmsc2;
-inst A;
-inst B;
-A: instance;
-out Sip,0 to B;
-endinstance;
-B: instance;
-in Sip,0 from A;
-endinstance;
-endmsc;
+mscdocument membership_help_bug.vsd;
+msc Page_1;
+initial connect L0;
+L0: connect L1, L2;
+L1: reference bmsc2 time [0,4);
+ connect L3;
+L2: reference bmsc1 top top L4 [0,12];
+ bottom top L4 [0,3);
+ connect L4;
+L3: connect L5;
+L4: reference bmsc3 connect L3;
+L5: final;
+endmsc;
+msc bmsc1;
+inst A;
+inst B;
+A: instance;
+label e0;
+out request,0 to B;
+time e1 [0,2);
+endinstance;
+B: instance;
+label e1;
+in request,0 from A;
+endinstance;
+endmsc;
+msc bmsc3;
+inst A;
+inst B;
+A: instance;
+in response,0 from B;
+endinstance;
+B: instance;
+out response,0 to A;
+endinstance;
+endmsc;
+msc bmsc2;
+inst A;
+inst B;
+A: instance;
+out Sip,0 to B;
+endinstance;
+B: instance;
+in Sip,0 from A;
+endinstance;
+endmsc;
Property changes on: trunk/tests/membership/test_hmsc35.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/membership/test_hmsc36.mpr
===================================================================
--- trunk/tests/membership/test_hmsc36.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/test_hmsc36.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,33 +1,33 @@
-mscdocument Drawing1;
-msc HMSC;
-initial connect L0, L1;
-L0: reference MSC01 connect L2;
-L1: reference MSC02 connect L2;
-L2: final;
-endmsc;
-msc MSC01;
-inst A;
-inst B;
-A: instance;
-label e0;
-out ask,0 to B;
-time e1 [10,11);
-endinstance;
-B: instance;
-label e1;
-in ask,0 from A;
-endinstance;
-endmsc;
-msc MSC02;
-inst A;
-inst B;
-A: instance;
-label e0;
-out ask,0 to B;
-time e1 [0,7);
-endinstance;
-B: instance;
-label e1;
-in ask,0 from A;
-endinstance;
-endmsc;
+mscdocument Drawing1;
+msc HMSC;
+initial connect L0, L1;
+L0: reference MSC01 connect L2;
+L1: reference MSC02 connect L2;
+L2: final;
+endmsc;
+msc MSC01;
+inst A;
+inst B;
+A: instance;
+label e0;
+out ask,0 to B;
+time e1 [10,11);
+endinstance;
+B: instance;
+label e1;
+in ask,0 from A;
+endinstance;
+endmsc;
+msc MSC02;
+inst A;
+inst B;
+A: instance;
+label e0;
+out ask,0 to B;
+time e1 [0,7);
+endinstance;
+B: instance;
+label e1;
+in ask,0 from A;
+endinstance;
+endmsc;
Property changes on: trunk/tests/membership/test_hmsc36.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/time_cycle_pos2_hmsc.mpr
===================================================================
--- trunk/tests/membership/time_cycle_pos2_hmsc.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/time_cycle_pos2_hmsc.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/time_cycle_pos2_hmsc.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/time_cycle_pos2_pat.mpr
===================================================================
--- trunk/tests/membership/time_cycle_pos2_pat.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/time_cycle_pos2_pat.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/time_cycle_pos2_pat.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/time_hard_bmsc_pat03.mpr
===================================================================
--- trunk/tests/membership/time_hard_bmsc_pat03.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/time_hard_bmsc_pat03.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/time_hard_bmsc_pat03.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/time_hard_bmsc_pat04.mpr
===================================================================
--- trunk/tests/membership/time_hard_bmsc_pat04.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/time_hard_bmsc_pat04.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/time_hard_bmsc_pat04.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: trunk/tests/membership/time_hard_bmsc_pat05.mpr
===================================================================
--- trunk/tests/membership/time_hard_bmsc_pat05.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/membership/time_hard_bmsc_pat05.mpr 2016-01-12 16:33:11 UTC (rev 1911)
Property changes on: trunk/tests/membership/time_hard_bmsc_pat05.mpr
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/tests/race/race_pos_2_actions.mpr
===================================================================
--- trunk/tests/race/race_pos_2_actions.mpr 2016-01-12 15:44:55 UTC (rev 1910)
+++ trunk/tests/race/race_pos_2_actions.mpr 2016-01-12 16:33:11 UTC (rev 1911)
@@ -1,59 +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`. 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;
-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 ...
[truncated message content] |
