Commit 26f3a8f7 authored by MARCHE Claude's avatar MARCHE Claude

prover example: fixed session

parent e3636568
......@@ -71,12 +71,12 @@ endif
replay:
@printf "===================================\n"
@printf "Starting time (UTC): "
@printf "===================================\n"
@date --utc +%H:%M
for i in $(MLWUTIL) $(MLWIMPL); do \
@printf "===================================\n"
@for i in $(MLWUTIL) $(MLWIMPL); do \
printf "Replaying $$i..." ; \
why3 $(WHY3FLAGS) replay -q $$i ; \
done
done
@printf "===================================\n"
@printf "Ending time (UTC): "
@date --utc +%H:%M
......
This source diff could not be displayed because it is too large. You can view the blob instead.
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