Add test modification

ftsrg · Dec 15, 2021 · 860b240 · 860b240
1 parent bcd2d37
commit 860b240
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/hu.bme.mit.gamma.tests/model/Spacecraft/System/Spacecraft.ggen b/tests/hu.bme.mit.gamma.tests/model/Spacecraft/System/Spacecraft.ggen
@@ -35,6 +35,7 @@ analysis {
 verification {
     language : XSTS-UPPAAL
     test-language : java
+    back-annotate-to-original : true
     file : "Spacecraft.xml"
     property-file : "Spacecraft.gpm"
 }