Skip to content

GitLab

why3
why3
Commit 6592b788 authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

jessie3: tests target is phony

parent 727a9253
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 1 deletion
src/jessie/Makefile.in
View file @ 6592b788
......@@ -43,7 +43,9 @@ test.opt:
frama-c -load-module ./Jessie3.cmxs -jessie3 tests/basic/forty-two.c
# -kernel-debug 2
tests:: tests/ptests_config
.PHONY: tests
tests: tests/ptests_config
time -p ptests.opt
grep 'Task\|Ergo' tests/basic/result/*.res.log tests/demo/result/*.res.log
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment