diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps index b485144b4..86377c2c9 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps @@ -625,10 +625,12 @@ + + @@ -646,6 +648,7 @@ + @@ -655,6 +658,7 @@ + @@ -2912,17 +2916,17 @@ - + - + - - - + + + @@ -2940,9 +2944,9 @@ - + - + @@ -2951,11 +2955,15 @@ - + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr index 7694ebff2..ee5fb7515 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr @@ -188,76 +188,83 @@ - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - - - + + + + + + + + + + + + + - - - + + + @@ -266,60 +273,73 @@ - - - - - - + + + + + + + + + + + + + - - - + + + - - - - - - - - - - + + + + + + + + + + + + + - - - + + + - - - - - - - - - - + + + + + + + + + + + + + - - - + + + @@ -328,26 +348,33 @@ - - - - + + + + - - - - - - + + + + + + + + + + + + + - - - + + + @@ -356,16 +383,23 @@ - - - - - - + + + + + + + + + + + + + - - - + + + @@ -374,37 +408,36 @@ - - - - + + + + - - - - - - + + + + + + + + + + + + + - - - + + + - - - - - - - - @@ -428,26 +461,29 @@ - - - - + + + + - - - - - - + + + + + + + + + - - - + + + @@ -472,10 +508,10 @@ - + - - + + @@ -484,8 +520,8 @@ - - + + @@ -505,7 +541,7 @@ - + @@ -530,6 +566,14 @@ + + + + + + + + @@ -543,21 +587,13 @@ - - - - - - - - - - + + @@ -566,6 +602,14 @@ + + + + + + + + @@ -579,14 +623,6 @@ - - - - - - - -