In tests, change dune exec for direct binary call

Using `dune exec`` means that the dune-project file
needs to be present in the dune sandbox, which
would sometimes not happen and lead to the very
annoying workflow of having to dune clean before
every dune runtest.

I tried adding the dune-project file as a dependency
but couldn't get it to work.

A direct call to the binary seems to solve the issue.

example/README.md

@@ -18,7 +18,7 @@
 ## Man page
 
 ```sh
-$ dune exec -- owi --help=plain
+$ owi --help=plain
 NAME
        owi - OCaml WebAssembly Interpreter
 

example/c/README.md

@@ -31,7 +31,7 @@ We are defining one symbolic variable `x` using the function `owi_i32(void)`. Th
 Then we use `owi_assert(poly != 0)`. Which should fail as this polynomial has multiple roots. Let's see what owi says about it:
 
 ```sh
-$ dune exec owi -- c ./poly.c -w1
+$ owi c ./poly.c -w1
 ...
 Model:
   (model
@@ -77,7 +77,7 @@ Let's run owi on this new input:
 
 
 ```sh
-$ dune exec owi -- c ./poly2.c
+$ owi c ./poly2.c
 ...
 Model:
   (model
@@ -172,7 +172,7 @@ int main (void) {
 ```
 
 ```sh
-$ dune exec owi -- c ./maze.c
+$ owi c ./maze.c
 Assert failure: false
 Model:
   (model
@@ -211,7 +211,7 @@ Reached problem!
 ## Man page
 
 ```sh
-$ dune exec owi -- c --help=plain
+$ owi c --help=plain
 NAME
        owi-c - Compile a C file to Wasm and run the symbolic interpreter on
        it

example/define_host_function/README.md

@@ -99,7 +99,7 @@ let () =
 You'll get the expected result:
 
 ```sh
-$ dune exec -- ./extern.exe
+$ ./extern.exe
 42
 13
 ```

example/fmt/README.md

@@ -42,7 +42,7 @@ i32.lt_s
 Owi will format it like this:
 
 ```sh
-$ dune exec -- owi fmt horrible.wat
+$ owi fmt horrible.wat
 (module
   (memory 10)
   (func $f (param $n i32) (result i32)
@@ -99,7 +99,7 @@ Are you able to recognize the program now?
 ## Man page
 
 ```sh
-$ dune exec owi -- fmt --help=plain
+$ owi fmt --help=plain
 NAME
        owi-fmt - Format a .wat or .wast file
 

example/opt/README.md

@@ -337,7 +337,7 @@ Given the useless program `useless.wat`:
 Owi is able to get rid of most of the code:
 
 ```sh
-$ dune exec -- owi opt useless.wat
+$ owi opt useless.wat
 (module
   (func $i32binop
 
@@ -364,7 +364,7 @@ $ dune exec -- owi opt useless.wat
 ## Man page
 
 ```sh
-$ dune exec owi -- opt --help=plain
+$ owi opt --help=plain
 NAME
        owi-opt - Optimize a module
 

example/run/README.md

@@ -20,13 +20,13 @@ Given a file `42.wat` with the following content:
 Running the interpreter is as simple as:
 
 ```sh
-$ dune exec owi -- run ./42.wat
+$ owi run ./42.wat
 ```
 
 Nothing is happening, so you can add the `--debug` option to print an execution trace:
 
 ```sh
-$ dune exec owi -- run ./42.wat --debug
+$ owi run ./42.wat --debug
 parsing      ...
 checking     ...
 grouping     ...
@@ -53,7 +53,7 @@ stack        : [  ]
 ## Man page
 
 ```sh
-$ dune exec owi -- run --help=plain
+$ owi run --help=plain
 NAME
        owi-run - Run the concrete interpreter
 

example/script/README.md

@@ -14,6 +14,6 @@ Given the following `print.wast` file:
 You can print the value thanks to the `print_i32` function imported from the `spectest` module:
 
 ```sh
-$ dune exec owi -- script ./print.wast
+$ owi script ./print.wast
 42
 ```

example/sym/README.md

@@ -24,7 +24,7 @@ In the following file, we define `x` as a symbolic variable. Then if `5 < x`, we
 Let's see if owi is able to find a value for `x` that lead to an error:
 
 ```sh
-$ dune exec owi -- sym ./mini.wat
+$ owi sym ./mini.wat
 Trap: unreachable
 Model:
   (model
@@ -42,7 +42,7 @@ TODO
 ## Man page
 
 ```sh
-$ dune exec owi -- sym --help=plain
+$ owi sym --help=plain
 NAME
        owi-sym - Run the symbolic interpreter
 

example/validate/README.md

@@ -21,15 +21,15 @@ Given a file `type_error.wat` with the following content:
 Running the validator is as simple as:
 
 ```sh
-$ dune exec owi -- validate ./type_error.wat
+$ owi validate ./type_error.wat
 type mismatch (pop)
 [35]
 ```
 
 You can also print a more detailed trace with the `--debug` option:
 
 ```sh
-$ dune exec owi -- validate ./type_error.wat --debug
+$ owi validate ./type_error.wat --debug
 parsing      ...
 checking     ...
 grouping     ...
@@ -43,7 +43,7 @@ type mismatch (pop)
 ## Man page
 
 ```sh
-$ dune exec owi -- validate --help=plain
+$ owi validate --help=plain
 NAME
        owi-validate - Validate a module
 

test/c/malloc_aligned.t

@@ -1,2 +1,2 @@
-  $ dune exec owi -- c ./malloc_aligned.c
+  $ owi c ./malloc_aligned.c
   All OK

test/c/not_exists.t

@@ -1,5 +1,5 @@
 file doesn't exist:
-  $ dune exec -- owi c idontexist.wat
+  $ owi c idontexist.wat
   owi: no file 'idontexist.wat'
   Usage: owi c [OPTION]… [ARG]…
   Try 'owi c --help' or 'owi --help' for more information.

test/c/test-comp/simple.t

@@ -1,4 +1,4 @@
-  $ dune exec owi -- c --testcomp ./simple.c
+  $ owi c --testcomp ./simple.c
   Assert failure: (i32.ne (i32.mul symbol_0 symbol_0) (i32 0))
   Model:
     (model

test/fmt/done.t

@@ -1,2 +1,2 @@
 inplace:
-  $ dune exec owi -- fmt --inplace done.wat
+  $ owi fmt --inplace done.wat

test/fmt/locals.t

@@ -1,5 +1,5 @@
 print optimized locals:
-  $ dune exec owi -- opt locals.wat
+  $ owi opt locals.wat
   (module
     (func $f1 (param $a1 i32) (param $a2 i32) (param $a3 i32) (local $l1 i32) (local $l2 i32)
       local.get 3

test/fmt/locals_drop.t

@@ -1,5 +1,5 @@
 print optimized locals:
-  $ dune exec owi -- opt locals_drop.wat
+  $ owi opt locals_drop.wat
   (module
     (func $f1 (param $a1 i32) (param $a2 i32) (param $a3 i32)
 

test/fmt/not_exists.t

@@ -1,5 +1,5 @@
 file doesn't exist:
-  $ dune exec -- owi fmt idontexist.wat
+  $ owi fmt idontexist.wat
   owi: no file 'idontexist.wat'
   Usage: owi fmt [--inplace] [OPTION]… [ARG]…
   Try 'owi fmt --help' or 'owi --help' for more information.

test/fmt/print.t

@@ -1,5 +1,5 @@
 print symbolic:
-  $ dune exec owi -- fmt m.wat
+  $ owi fmt m.wat
   (module
     (func $f (param $x i32) (param $y i32) (result i32)
       local.get $x

test/fmt/script.t

@@ -1,5 +1,5 @@
 print script:
-  $ dune exec owi -- fmt script.wast
+  $ owi fmt script.wast
   (module
     (func (param $x i32) (param $y i32) (result i32)
       local.get $x

test/help/help.t

@@ -1,5 +1,5 @@
 no subcommand should print help
-  $ dune exec -- owi
+  $ owi
   NAME
          owi - OCaml WebAssembly Interpreter
 

test/opt/binop.t

@@ -1,5 +1,5 @@
 binary operations instructions:
-  $ dune exec -- owi opt binop.wat
+  $ owi opt binop.wat
   (module
     (func $i32binop
 

test/opt/block_loop.t

@@ -1,5 +1,5 @@
 block loop instructions:
-  $ dune exec -- owi opt block_loop.wat
+  $ owi opt block_loop.wat
   (module
     (func $start
 

test/opt/br.t

@@ -1,5 +1,5 @@
 br instructions:
-  $ dune exec -- owi opt br.wat
+  $ owi opt br.wat
   (module
     (func $br
       i32.const 42

test/opt/convert.t

@@ -1,5 +1,5 @@
 f**.convert_i** instructions:
-  $ dune exec -- owi opt convert.wat
+  $ owi opt convert.wat
   (module
     (func $start
 

test/opt/demote_promote.t

@@ -1,5 +1,5 @@
 f32.demote_f64 f64.promote_f32 instructions:
-  $ dune exec -- owi opt demote_promote.wat
+  $ owi opt demote_promote.wat
   (module
     (func $start
 

test/opt/drop.t

@@ -1,5 +1,5 @@
 drop instruction:
-  $ dune exec -- owi opt drop.wat
+  $ owi opt drop.wat
   (module
     (func $start
       call 1

test/opt/extend_wrap.t

@@ -1,5 +1,5 @@
 i**.extend_** i32.wrap_i64 instructions:
-  $ dune exec -- owi opt extend_wrap.wat
+  $ owi opt extend_wrap.wat
   (module
     (func $extend
 

test/opt/fbinop.t

@@ -1,5 +1,5 @@
 f32 / f64 binary operations:
-  $ dune exec -- owi opt fbinop.wat
+  $ owi opt fbinop.wat
   (module
     (func $start
 

test/opt/ibinop.t

@@ -1,5 +1,5 @@
 i32 / i64 binary operations:
-  $ dune exec -- owi opt ibinop.wat
+  $ owi opt ibinop.wat
   (module
     (func $start
 

test/opt/if.t

@@ -1,5 +1,5 @@
 if then else instruction:
-  $ dune exec -- owi opt if.wat
+  $ owi opt if.wat
   (module
     (func $start
       (block (result i32)

test/opt/local.t

@@ -1,5 +1,5 @@
 unused local variables:
-  $ dune exec -- owi opt local.wat
+  $ owi opt local.wat
   (module
     (func $f0 (local i32)
       i32.const 0

test/opt/not_exists.t

@@ -1,5 +1,5 @@
 file doesn't exist:
-  $ dune exec -- owi opt not_exists.wat --debug
+  $ owi opt not_exists.wat --debug
   owi: no file 'not_exists.wat'
   Usage: owi opt [--debug] [--unsafe] [OPTION]… [ARG]…
   Try 'owi opt --help' or 'owi --help' for more information.

test/opt/ref_nop.t

@@ -1,5 +1,5 @@
 ref.null ref.is_null nop instructions:
-  $ dune exec -- owi opt ref_nop.wat
+  $ owi opt ref_nop.wat
   (module
     (func $start
 

test/opt/reinterpret.t

@@ -1,5 +1,5 @@
 f**.reinterpret_i** i**.reinterpret_f** instructions:
-  $ dune exec -- owi opt reinterpret.wat
+  $ owi opt reinterpret.wat
   (module
     (func $start
 

test/opt/relop_testop.t

@@ -1,5 +1,5 @@
 **.eq eqz lt gt ...  instructions:
-  $ dune exec -- owi opt relop_testop.wat
+  $ owi opt relop_testop.wat
   (module
     (func $i32relop
 

test/opt/return.t

@@ -1,5 +1,5 @@
 return instructions:
-  $ dune exec -- owi opt return.wat
+  $ owi opt return.wat
   (module
     (func $return (result i32)
       i32.const 42

test/opt/select.t

@@ -1,5 +1,5 @@
 select instruction:
-  $ dune exec -- owi opt select.wat
+  $ owi opt select.wat
   (module
     (func $start
 

test/opt/tee.t

@@ -1,5 +1,5 @@
 set get tee simplification:
-  $ dune exec -- owi opt tee.wat
+  $ owi opt tee.wat
   (module
     (func $start (local $x i32)
       i32.const 41

test/opt/trunc.t

@@ -1,5 +1,5 @@
 **.trunc_** **.trunc_sat_** instructions:
-  $ dune exec -- owi opt trunc.wat
+  $ owi opt trunc.wat
   (module
     (func $trunc
 

test/opt/unop.t

@@ -1,5 +1,5 @@
 unop () instructions:
-  $ dune exec -- owi opt unop.wat
+  $ owi opt unop.wat
   (module
     (func $iunop
 

test/run/not_exists.t

@@ -1,5 +1,5 @@
 file doesn't exist:
-  $ dune exec -- owi run not_exists.wat
+  $ owi run not_exists.wat
   owi: no file 'not_exists.wat'
   Usage: owi run [OPTION]… [ARG]…
   Try 'owi run --help' or 'owi --help' for more information.