Workaround

Adjusting print-out directives to try & get a trace that includes the necessary bits for a snapshot comparison. Kappa-Dev/KappaTools#674
jonathan-laurent · Sep 8, 2023 · 1e8944c · 1e8944c
1 parent 96b90b0
commit 1e8944c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/tests/unit/tokens_in_snapshots/model.ka b/tests/unit/tokens_in_snapshots/model.ka
@@ -1,8 +1,9 @@
-%agent: timer(s{tik,tok})   %init: 10 timer()
+%agent: timer(s{tik,tok})   %init: 1 timer()
 %token: tiks                %init: 0 tiks, toks
 %token: toks
 
 timer(s{tik}) -> timer(s{tok}) | 1 toks @ 1
 timer(s{tok}) -> timer(s{tik}) | 1 tiks @ 1
 
-%mod: [T] > 1 do $SNAPSHOT "snap_KaSim.ka" ; $STOP ;
+%mod: [E] = 2 do $SNAPSHOT "snap_KaSim.json" ;
+%mod: [E] = 3 do $STOP ;
diff --git a/tests/unit/tokens_in_snapshots/query.katie b/tests/unit/tokens_in_snapshots/query.katie
@@ -1,4 +1,4 @@
-query 'snap_at_5'
+query 'snap_at_x'
 match a:{}
-when time[a] > 1
-do snapshot[.a] = "snap_KaTie.ka"
+when sim_event_id[a] = 2
+do snapshot[a.] = "snap_KaTie.json"