better dune runtest target

UnixJunkie · UnixJunkie · commit d2cd9c4729f1 · 2018-12-11T17:14:59.000+09:00
diff --git a/dune b/dune
@@ -10,4 +10,4 @@
 
 (alias
   (name runtest)
-  (action (run ./test.exe)))
+  (action (run ./test.exe -i /dev/null -o /dev/null -n 1 -x 1.0 -v --hi there)))
