init refactoring exercise
This commit is contained in:
13
testing/out/production/testing/fuzz.bat
Normal file
13
testing/out/production/testing/fuzz.bat
Normal file
@@ -0,0 +1,13 @@
|
||||
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
|
Reference in New Issue
Block a user