tests for dopth

.github/workflows/proof_tools.yml

@@ -21,7 +21,7 @@ jobs:
         (cd dopth || exit 1
          opam switch create . --packages dune --yes
          eval $(opam env)
-         dune build) # TODO implement tests
+         bmake tests)
         (cd chainprops || exit 1
          opam switch create . --deps-only --yes
          eval $(opam env)

proofs/dopth/Makefile

@@ -9,4 +9,8 @@ _build/default/dopth.exe: dopth.ml
 psnj-dopth: _build/default/dopth.exe
 	@cp -f _build/default/dopth.exe $@
 
+.PHONY: tests
+tests: _build/default/dopth.exe
+	@${DUNE} runtest
+
 .include "../tools.mk"

proofs/dopth/dune-project

 (lang dune 2.9)
+(cram enable)

proofs/dopth/psnj-dopth.asciidoc

@@ -13,7 +13,7 @@ psnj-dopth
 
 *psnj-dopth* is a filter that transform a newline-separated list
 of strings and paths into a Makefile dependency list. A path is a
-dot-separated list of integers (such as 0.1.1) or the word _root_. A
+dot-separated list of integers (such as 0.1.1) or the word *root*. A
 string _s1_ depends on a string _s2_ if the path of _s1_ is a successor
 of the path of _s2_.  A path _p_ is a successor of _q_ if _p_ = _q_.i
 where _i_ is an integer.
@@ -37,7 +37,7 @@ frob
 1
 ----
 
-dopth returns
+dopth returns (the order is not specified)
 
 ----
 foo: bar frob

proofs/dopth/tests/dopth.t

+  $ ../dopth.exe < example.plain
+  bar: baz
+  foo: bar frob

proofs/dopth/tests/dune

+(cram
+ (deps
+  ../dopth.exe
+  example.plain))

proofs/dopth/tests/example.plain

+foo
+root
+bar
+0
+baz
+0.1
+frob
+1