update test results now that back values are assume-deterministic

risc0 · Jan 9, 2025 · 16d5a56 · 16d5a56
1 parent a3965e6
commit 16d5a56
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/zirgen/compiler/picus/test/back.zir b/zirgen/compiler/picus/test/back.zir
@@ -2,7 +2,8 @@
 
 // CHECK: (prime-number 2013265921)
 // CHECK: (begin-module Count)
-// CHECK: (input x0)
+// CHECK: (assume-deterministic x1__super__super)
+// CHECK: (assume-deterministic x1_reg__super)
 // CHECK: (end-module)
 
 #[picus]