Merge branch 'main' into 1402/compile-init-step-inv

informalsystems · Mar 22, 2024 · fe3ccb7 · fe3ccb7
2 parents e1ebfc2 + dfd0f7f
commit fe3ccb7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/quint/apalache-tests.md b/quint/apalache-tests.md
@@ -226,7 +226,7 @@ An example execution:
 
 <!-- !test in can convert ApalacheCompliation.qnt to TLA+ -->
 ```
-quint compile --target tlaplus  ./testFixture/ApalacheCompilation.qnt
+quint compile --target tlaplus ./testFixture/ApalacheCompilation.qnt
 ```
 
 <!-- !test out can convert ApalacheCompliation.qnt to TLA+ -->
@@ -237,7 +237,7 @@ EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache, Variants
 
 VARIABLE x
 
-A == Variant("A", <<>>)
+A == Variant("A", "U_OF_UNIT")
 
 B(__BParam_31) == Variant("B", __BParam_31)
 
@@ -272,7 +272,7 @@ q_init == init
 ================================================================================
 ```
 
-### Test that we can compile to TLA+ of the expected form with CLI confgis
+### Test that we can compile to TLA+ of the expected form with CLI configs
 
 We check that specifying `--init`, `--step`, and `--invariant` work as expected
 

diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts
@@ -39,7 +39,7 @@ import type { Buffer } from 'buffer'
 import type { PackageDefinition as ProtoPackageDefinition } from '@grpc/proto-loader'
 
 const APALACHE_SERVER_URI = 'localhost:8822'
-const APALACHE_VERSION_TAG = '0.44.7'
+const APALACHE_VERSION_TAG = '0.44.9'
 // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124
 // const APALACHE_TGZ = 'apalache.tgz'