user_main can only return boolean

OffchainLabs · Mar 29, 2024 · 15599a8 · 15599a8
1 parent f52c292
commit 15599a8
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/arbitrator/prover/src/host.rs b/arbitrator/prover/src/host.rs
@@ -464,7 +464,15 @@ pub fn new_internal_funcs(stylus_data: Option<StylusData>) -> Vec<Function> {
         add_func(&[inst(GlobalGet, depth)], UserStackLeft);
         add_func(&[inst(GlobalSet, depth)], UserSetStack);
         add_func(&[inst(MemorySize, 0)], UserMemorySize);
-        add_func(&[inst(Call, main)], CallMain);
+        add_func(
+            &[
+                inst(Call, main),
+                // force return value to boolean
+                Instruction::simple(I32Eqz),
+                Instruction::simple(I32Eqz),
+            ],
+            CallMain,
+        );
     }
     funcs
 }