test:
	../../Binaires/SMVtoJAVA < counter.smv
	diff COUNTER_CELL.java COUNTER_CELL_sav.java
	diff MAIN.java MAIN_sav.java

save:
	cp COUNTER_CELL.java COUNTER_CELL_sav.java
	cp MAIN.java MAIN_sav.java

compile:
	javac -classpath ./Java/needed.jar:. *.java