Merge pull request #1907 from lf-lang/test-clock-synchronization

Add smoke test for clock synchronization
lf-lang · Jul 21, 2023 · eb0a723 · eb0a723
2 parents 1a7c80b + f88d452
commit eb0a723
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/core/src/main/resources/lib/c/reactor-c b/core/src/main/resources/lib/c/reactor-c
diff --git a/test/C/src/federated/DistributedCountDecentralized.lf b/test/C/src/federated/DistributedCountDecentralized.lf
@@ -6,7 +6,11 @@
  */
 target C {
   timeout: 5 sec,
-  coordination: decentralized
+  coordination: decentralized,
+  clock-sync: on,
+  clock-sync-options: {
+    local-federates-on: true
+  }
 }
 
 import Count from "../lib/Count.lf"