Merge pull request #154 from lf-lang/update-known-good

Update lingua-franca and known-good
lf-lang · Mar 19, 2024 · 142f961 · 142f961
2 parents 7f8f767 + 5f8be24
commit 142f961
Show file tree

Hide file tree

Showing 123 changed files with 10,300 additions and 3,142 deletions.
diff --git a/lingua-franca b/lingua-franca
diff --git a/test/known-good/C/src/ActionDelay.html b/test/known-good/C/src/ActionDelay.html
@@ -468,7 +468,43 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Logical, physical, and elapsed logical: %lld %lld %lld.
+Logical, physical, and elapsed logical: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+.
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -515,7 +551,31 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-FAILURE: Expected %lld but got %lld.
+FAILURE: Expected 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+ but got 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+.
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n

diff --git a/test/known-good/C/src/ActionWithNoReaction.html b/test/known-good/C/src/ActionWithNoReaction.html
@@ -311,7 +311,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current logical time is: %lld
+Current logical time is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -330,7 +339,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current physical time is: %lld
+Current physical time is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n

diff --git a/test/known-good/C/src/After.html b/test/known-good/C/src/After.html
@@ -417,7 +417,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current logical time is: %lld
+Current logical time is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -436,7 +445,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current physical time is: %lld
+Current physical time is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -471,7 +489,19 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-ERROR: Expected logical time to be %lld.
+ERROR: Expected logical time to be 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+.
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n

diff --git a/test/known-good/C/src/AfterCycles.html b/test/known-good/C/src/AfterCycles.html
@@ -527,7 +527,19 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Received %d from worker 0 at time %lld.
+Received %d from worker 0 at time 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+.
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -742,7 +754,19 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Received %d from worker 1 at time %lld.
+Received %d from worker 1 at time 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+.
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n

diff --git a/test/known-good/C/src/AfterOverlapped.html b/test/known-good/C/src/AfterOverlapped.html
@@ -357,7 +357,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current logical time is: %lld
+Current logical time is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -442,7 +451,28 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-ERROR: Expected logical time to be %lld but got %lld
+ERROR: Expected logical time to be 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+ but got 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n

diff --git a/test/known-good/C/src/AfterZero.html b/test/known-good/C/src/AfterZero.html
@@ -136,7 +136,7 @@
 </span>
 
 <span class="source-lf">
-    SET(y, 
+    lf_set(y, 
 </span>
 <span class="source-lf constant-numeric-int-lflang">
 2
@@ -411,7 +411,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current logical time is: %lld
+Current logical time is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -430,7 +439,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current microstep is: %lld
+Current microstep is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -455,7 +473,16 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-Current physical time is: %lld
+Current physical time is: 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -490,7 +517,19 @@
 "
 </span>
 <span class="source-lf string-quoted-double-lflang">
-ERROR: Expected logical time to be %lld.
+ERROR: Expected logical time to be 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf">
+ PRINTF_TIME 
+</span>
+<span class="source-lf string-quoted-double-lflang">
+"
+</span>
+<span class="source-lf string-quoted-double-lflang">
+.
 </span>
 <span class="source-lf string-quoted-double-lflang constant-character-escape">
 \n
@@ -890,7 +929,7 @@
 </span>
 
 <span class="source-lf">
-    SET(
+    lf_set(
 </span>
 <span class="source-lf variable-other-constant-reactorinstance-lflang">
 f