Update inline tests (#556)

This commit is contained in:
Rudi Grinberg 2018-02-28 16:34:57 +07:00 committed by Jérémie Dimino
parent e99327427b
commit 60b8c7c968
1 changed files with 2 additions and 6 deletions

View File

@ -2,20 +2,16 @@
run alias simple/runtest (exit 2)
(cd _build/default/simple && ./.foo_simple.inline-tests/run.exe)
Fatal error: exception File "simple/.foo_simple.inline-tests/run.ml", line 1, characters 10-16: Assertion failed
Raised at file "string.ml", line 118, characters 19-34
Called from file "string.ml", line 180, characters 15-34
Called from file "filename.ml", line 87, characters 8-27
Called from file "filename.ml", line 114, characters 8-25
[1]
$ $JBUILDER runtest missing-backend -j1 --display quiet --root .
File "missing-backend/jbuild", line 3, characters 2-16:
Error: No inline tests framework found.
Error: No inline tests backend found.
[1]
$ $JBUILDER runtest too-many-backends -j1 --display quiet --root .
File "too-many-backends/jbuild", line 17, characters 2-16:
Error: Too many independant inline tests frameworks found:
Error: Too many independant inline tests backends found:
- "backend_tmb1" in _build/default/too-many-backends
- "backend_tmb2" in _build/default/too-many-backends
[1]