Promote cram.t with new model format (#734)

OCamlPro · Jul 12, 2023 · a10737c · a10737c
1 parent 7df3738
commit a10737c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/cram.t/run.t b/tests/cram.t/run.t
@@ -12,9 +12,10 @@ appropriate here.
 
   unknown
   (
+    (define-fun a1 () (Array Int Int)
+     (store ((as const (Array Int Int)) 0) 0 0))
     (define-fun x () Int 0)
     (define-fun y () Int 0)
-    (define-fun a1 () (Array Int Int) (store (as @a1 (Array Int Int)) 0 0))
   )
 
 Now we will test some semantic triggers.