Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit a36ddc02 authored by Martin Clochard's avatar Martin Clochard

examples/in_progress: 2wp_gen, makefile

parent 15d07791
SHELL=/bin/bash
REPLAY=why3 replay -L .
MLW=base choice ho_set ho_rel fn order transfinite game
replay:
@exe() { echo "$$0 $$@"; "$$@"; };\
for f in $(MLW); do exe $(REPLAY) $$f.mlw; done
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