Check executions up to length 1

freespek · Apr 19, 2024 · d54a95a · d54a95a
1 parent 8015f87
commit d54a95a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solarkraft/src/verify.ts b/solarkraft/src/verify.ts
@@ -28,7 +28,7 @@ export function verify(args: any) {
     }
 
     console.log(`Running Apalache (check ${args.monitor})...`)
-    const child = spawnSync(APALACHE_BIN, ['check', args.monitor])
+    const child = spawnSync(APALACHE_BIN, ['check', '--length=1', args.monitor])
 
     switch (child.status) {
         case 0: {