Assert everything

ml-proto/src/flags.ml

@@ -7,5 +7,5 @@ let version = "0.1"
 
 let interactive = ref false
 let trace = ref false
-let print_sig = ref true
+let print_sig = ref false
 let dry = ref false

ml-proto/test/expected-output/memory.wasm.log

@@ -1,8 +1 @@
-export "data" : () -> i32
-export "aligned" : () -> i32
-export "unaligned" : () -> i32
-export "cast" : () -> f64
-1 : i32
-1 : i32
-1 : i32
 -3.10552331246e+231 : f64

ml-proto/test/fac.wasm

@@ -67,7 +67,7 @@
   (export "fac-iter-named" $fac-iter)
 )
 
-(invoke "fac-rec" (const.i64 25))  ;; 7034535277573963776 : i64
-(invoke "fac-iter" (const.i64 25))  ;; 7034535277573963776 : i64
-(invoke "fac-rec-named" (const.i64 25))  ;; 7034535277573963776 : i64
-(invoke "fac-iter-named" (const.i64 25))  ;; 7034535277573963776 : i64
+(asserteq (invoke "fac-rec" (const.i64 25)) (const.i64 7034535277573963776))
+(asserteq (invoke "fac-iter" (const.i64 25)) (const.i64 7034535277573963776))
+(asserteq (invoke "fac-rec-named" (const.i64 25)) (const.i64 7034535277573963776))
+(asserteq (invoke "fac-iter-named" (const.i64 25)) (const.i64 7034535277573963776))

ml-proto/test/memory.wasm

@@ -80,7 +80,7 @@
   (export "cast" $cast)
 )
 
-(invoke "data")  ;; 1 : i32
-(invoke "aligned")  ;; 1 : i32
-(invoke "unaligned")  ;; 1 : i32
+(asserteq (invoke "data") (const.i32 1))
+(asserteq (invoke "aligned") (const.i32 1))
+(asserteq (invoke "unaligned") (const.i32 1))
 (invoke "cast")  ;; -3.10552331246e+231 : f64

ml-proto/test/multivalue.wasm

@@ -80,14 +80,14 @@
   (export "test" $test)
 )
 
-(invoke "test" (const.i32 1))  ;; (2 1) : (i32 i32)
-(invoke "test" (const.i32 2))  ;; (2 1) : (i32 i32)
-(invoke "test" (const.i32 3))  ;; (1 2) : (i32 i32)
-(invoke "test" (const.i32 4))  ;; (1 2) : (i32 i32)
-(invoke "test" (const.i32 5))  ;; (2 1) : (i32 i32)
-(invoke "test" (const.i32 6))  ;; (3 1) : (i32 i32)
-(invoke "test" (const.i32 7))  ;; (1 2) : (i32 i32)
-(invoke "test" (const.i32 8))  ;; (2 1) : (i32 i32)
-(invoke "test" (const.i32 9))  ;; (2 1) : (i32 i32)
-(invoke "test" (const.i32 10))  ;; (1 2) : (i32 i32)
-(invoke "test" (const.i32 11))  ;; (1 1) : (i32 i32)
+(asserteq (invoke "test" (const.i32 1)) (const.i32 2) (const.i32 1)) 
+(asserteq (invoke "test" (const.i32 2)) (const.i32 2) (const.i32 1))
+(asserteq (invoke "test" (const.i32 3)) (const.i32 1) (const.i32 2))
+(asserteq (invoke "test" (const.i32 4)) (const.i32 1) (const.i32 2))
+(asserteq (invoke "test" (const.i32 5)) (const.i32 2) (const.i32 1))
+(asserteq (invoke "test" (const.i32 6)) (const.i32 3) (const.i32 1))
+(asserteq (invoke "test" (const.i32 7)) (const.i32 1) (const.i32 2))
+(asserteq (invoke "test" (const.i32 8)) (const.i32 2) (const.i32 1))
+(asserteq (invoke "test" (const.i32 9)) (const.i32 2) (const.i32 1))
+(asserteq (invoke "test" (const.i32 10)) (const.i32 1) (const.i32 2))
+(asserteq (invoke "test" (const.i32 11)) (const.i32 1) (const.i32 1))

ml-proto/test/switch.wasm

@@ -42,20 +42,20 @@
   (export "expr" $expr)
 )
 
-(invoke "stmt" (const.i32 0))  ;; 0 : i32
-(invoke "stmt" (const.i32 1))  ;; -1 : i32
-(invoke "stmt" (const.i32 2))  ;; -2 : i32
-(invoke "stmt" (const.i32 3))  ;; -3 : i32
-(invoke "stmt" (const.i32 4))  ;; 100 : i32
-(invoke "stmt" (const.i32 5))  ;; 101 : i32
-(invoke "stmt" (const.i32 6))  ;; 102 : i32
-(invoke "stmt" (const.i32 7))  ;; 102 : i32
-(invoke "stmt" (const.i32 -10))  ;; 102 : i32
+(asserteq (invoke "stmt" (const.i32 0)) (const.i32 0))
+(asserteq (invoke "stmt" (const.i32 1)) (const.i32 -1))
+(asserteq (invoke "stmt" (const.i32 2)) (const.i32 -2))
+(asserteq (invoke "stmt" (const.i32 3)) (const.i32 -3))
+(asserteq (invoke "stmt" (const.i32 4)) (const.i32 100))
+(asserteq (invoke "stmt" (const.i32 5)) (const.i32 101))
+(asserteq (invoke "stmt" (const.i32 6)) (const.i32 102))
+(asserteq (invoke "stmt" (const.i32 7)) (const.i32 102))
+(asserteq (invoke "stmt" (const.i32 -10)) (const.i32 102))
 
-(invoke "expr" (const.i64 0))  ;; 0 : i64
-(invoke "expr" (const.i64 1))  ;; -1 : i64
-(invoke "expr" (const.i64 2))  ;; -2 : i64
-(invoke "expr" (const.i64 3))  ;; -3 : i64
-(invoke "expr" (const.i64 6))  ;; 101 : i64
-(invoke "expr" (const.i64 7))  ;; 100 : i64
-(invoke "expr" (const.i64 -10))  ;; 100 : i64
+(asserteq (invoke "expr" (const.i64 0)) (const.i64 0))
+(asserteq (invoke "expr" (const.i64 1)) (const.i64 -1))
+(asserteq (invoke "expr" (const.i64 2)) (const.i64 -2))
+(asserteq (invoke "expr" (const.i64 3)) (const.i64 -3))
+(asserteq (invoke "expr" (const.i64 6)) (const.i64 101))
+(asserteq (invoke "expr" (const.i64 7)) (const.i64 100))
+(asserteq (invoke "expr" (const.i64 -10)) (const.i64 100))