Update Ortac/Dune cram tests

n-osborne · Apr 17, 2024 · 1baf463 · 1baf463
1 parent 0983b03
commit 1baf463
Showing 1 changed file with 13 additions and 21 deletions.
diff --git a/plugins/dune-rules/test/test.t b/plugins/dune-rules/test/test.t
@@ -7,7 +7,7 @@ Without the optional output argument (for the dune rules, output for the generat
 has to be set), the rules are printed on stdout. This is useful to check what will be
 generated.
 
-  $ ortac dune qcheck-stm intf_spec "init_sut ()" "int sut" test --include=included --package=my_package
+  $ ortac dune qcheck-stm intf_spec.mli config_mod.ml test.ml --package=my_package
   (rule
    (alias runtest)
    (mode promote)
@@ -22,11 +22,9 @@ generated.
       ortac
       dune
       qcheck-stm
-      intf_spec
-      "init_sut ()"
-      "int sut"
-      test
-      --include=included
+      intf_spec.mli
+      config_mod.ml
+      test.ml
       --package=my_package))))
 
   (rule
@@ -46,14 +44,12 @@ generated.
        ortac
        qcheck-stm
        %{dep:intf_spec.mli}
-       "init_sut ()"
-       "int sut"
-       --include=included
+       %{dep:config_mod.ml}
        --quiet)))))
 
   (test
    (name test)
-   (modules test included)
+   (modules test)
    (libraries
     intf_spec
     qcheck-stm.stm
@@ -69,10 +65,10 @@ generated.
 When the optional output argument is set, rules will be written in the file and will reflect
 this fact.
 
-  $ ortac dune qcheck-stm intf_spec "init_sut ()" "int sut" test --include=included --package=my_package --with-stdout-to=dune.inc
+  $ ortac dune qcheck-stm intf_spec.mli config_mod.ml test.ml --package=my_package --with-stdout-to=dune.inc
   $ cat dune.inc
   ; This file is generated by ortac dune qcheck-stm
-  ; It contains the rules for generating and running QCheck-STM tests for intf_spec
+  ; It contains the rules for generating and running QCheck-STM tests for intf_spec.mli
   ; It also contains the rule to generate itself, so you can edit this rule to
   ; change some options rather that running ortac on the command line again
 
@@ -91,11 +87,9 @@ this fact.
       ortac
       dune
       qcheck-stm
-      intf_spec
-      "init_sut ()"
-      "int sut"
-      test
-      --include=included
+      intf_spec.mli
+      config_mod.ml
+      test.ml
       --package=my_package
       --with-stdout-to=dune.inc))))
 
@@ -116,14 +110,12 @@ this fact.
        ortac
        qcheck-stm
        %{dep:intf_spec.mli}
-       "init_sut ()"
-       "int sut"
-       --include=included
+       %{dep:config_mod.ml}
        --quiet)))))
 
   (test
    (name test)
-   (modules test included)
+   (modules test)
    (libraries
     intf_spec
     qcheck-stm.stm