Test msc escaping fix

esa · Oct 7, 2024 · 3feb39b · 3feb39b
1 parent cdd35a3
commit 3feb39b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/integrationtests/applications/tmc/observers/test_msc_escaping.sh b/tests/integrationtests/applications/tmc/observers/test_msc_escaping.sh
@@ -27,8 +27,8 @@ $ASN1SCC -uPER -typePrefix asn1Scc -renamePolicy 3 -c -o "${TEST_OUTPUT_DIR}" "$
 
 cd $TEST_OUTPUT_DIR \
     && $SPIN -a system.pml \
-    && $CC -o system.out *.c \
-    && ./system.out -m1000000 -a -n > system.output \
+    && $CC -o system.out *.c -DNFAIR=3 \
+    && ./system.out -f -m1000000 -a -n > system.output \
     && grep -q "errors: 0" system.output \
     && cd .. \
     && rm -r $TEST_OUTPUT_DIR