
all: run 

run: cyclic_exchanger.c
	frama-c -wp -wp-prover why3ide $<

fdl: fdl.c
	frama-c -wp -wp-prover why3ide $<

clean:
	rm -rf *~