Softwaretechnik-II/testing/AufgabeUserRegistration/fuzz.bat
2024-10-30 19:29:50 +01:00

13 lines
775 B
Batchfile

set CLASSPATH=.\;%JAVA_HOME%\lib;..\jars\jazzer_standalone.jar;..\jars\jazzer-junit-0.22.1.jar;..\jars\junit5-4.6.14.jar
javac UserRegistration.java
javac EmailMatcher.java
javac UserRegistrationFuzzTest.java
java com.code_intelligence.jazzer.Jazzer --target_class=UserRegistrationFuzzTest
@rem ALTERNATIV Klassenpfad im Befehl angeben:
@rem javac -cp .\;%JAVA_HOME%\lib;..\jars\jazzer_standalone.jar UserRegistration.java
@rem javac -cp .\;%JAVA_HOME%\lib;..\jars\jazzer_standalone.jar;..\jars\jazzer-junit-0.22.1.jar;..\jars\junit5-4.6.14.jar UserRegistrationFuzzTest.java
@rem java -cp .\;%JAVA_HOME%\lib;..\jars\jazzer_standalone.jar;..\jars\jazzer-junit-0.22.1.jar;..\jars\junit5-4.6.14.jar com.code_intelligence.jazzer.Jazzer --target_class=UserRegistrationFuzzTest