spec/quint: blocksync -> consensus symlink

informalsystems · Nov 25, 2024 · ca6631a · ca6631a
1 parent d95d1da
commit ca6631a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/specs/synchronization/blocksync/quint/blocksync.qnt b/specs/synchronization/blocksync/quint/blocksync.qnt
@@ -6,7 +6,7 @@
 
 module blocksync {
 
-  import types.* from "../types"
+  import types.* from "./consensus/specs/types"
   export types.*
 
   type Option[a] =

diff --git a/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt b/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt
@@ -17,7 +17,7 @@ module bsyncWithConsensus {
     Values = Set("red", "blue"),
     Rounds = Set(0, 1, 2, 3),
     Heights = Set(0) // , 1, 2, 3)
-  ).* from "../statemachineAsync"
+  ).* from "./consensus/specs/statemachineAsync"
 
   //
   // Properties

diff --git a/specs/synchronization/blocksync/quint/consensus b/specs/synchronization/blocksync/quint/consensus
@@ -0,0 +1 @@
+../../../../specs/quint