Clean-up test/div_zero.wat

test/sym/div_zero.wat

@@ -9,14 +9,9 @@
   (import "symbolic" "f64_symbol" (func $f64_symbol (result f64)))
   (import "symbolic" "assume" (func $assume (param i32)))
 
-  (table $func_table 6 6 funcref)
-
-  (elem (i32.const 0) $i32_block)
-  (elem (i32.const 1) $i32_block_u)
-  (elem (i32.const 2) $i64_block)
-  (elem (i32.const 3) $i64_block_u)
-  (elem (i32.const 4) $f32_block)
-  (elem (i32.const 5) $f64_block)
+  (table $func_table  funcref
+    (elem $i32_block $i32_block_u $i64_block $i64_block_u $f32_block $f64_block)
+  )
 
   (func $start
 
@@ -41,31 +36,27 @@
     (call $i32_symbol)
     i32.div_s
     drop
-    return
   )
 
    (func $i32_block_u (type $void_t)
     i32.const 1
     (call $i32_symbol)
     i32.div_u
     drop
-    return
   )
 
   (func $i64_block (type $void_t)
     i64.const 1
     (call $i64_symbol)
     i64.div_s
     drop
-    return
   )
 
     (func $i64_block_u (type $void_t)
     i64.const 1
     (call $i64_symbol)
     i64.div_u
     drop
-    return
   )
 
 
@@ -74,15 +65,13 @@
     (call $f32_symbol)
     f32.div
     drop
-    return
   )
 
   (func $f64_block (type $void_t)
     f64.const 1
     (call $f64_symbol)
     f64.div
     drop
-    return
   )
 
   (start $start)