mte/test/dune

16 lines
276 B
Text

(test
(name test)
(modules test)
(libraries mte fmt))
(test
(name crypto)
(modules crypto)
(libraries mte fmt))
; TODO
; cram test?
; gcc -o a.out ./test/signatures.c && ./a.out > a.output
; rm ./a.out
; dune exec ./test/test.exe > b.output
; cmp -l a.output b.output