test:
	../../Binaires/SMVtoJAVA < Circuits.smv
	diff ENTREE.java ENTREE_sav.java
	diff ET.java ET_sav.java
	diff NONET.java NONET_sav.java
	diff OU.java OU_sav.java
	diff NONOU.java NONOU_sav.java
	diff MAIN.java MAIN_sav.java

save:
	cp ENTREE.java ENTREE_sav.java
	cp ET.java ET_sav.java
	cp NONET.java NONET_sav.java
	cp OU.java OU_sav.java
	cp NONOU.java NONOU_sav.java
	cp MAIN.java MAIN_sav.java

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