diff --git a/plugins/dune-rules/test/test.t b/plugins/dune-rules/test/test.t index e51aed50..04c19610 100644 --- 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