test:
	../../Binaires/SMVtoJAVA < Circuits-RS.smv
	diff ENTREE.java ENTREE_sav.java
	diff NONET.java NONET_sav.java
	diff MAIN.java MAIN_sav.java

save:
	cp ENTREE.java ENTREE_sav.java
	cp NONET.java NONET_sav.java
	cp MAIN.java MAIN_sav.java

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