Giters
ksen007
/
janala2
a concolic testing engine for Java
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
99
Watchers:
14
Issues:
6
Forks:
34
ksen007/janala2 Issues
How to test the class without main()?
Updated
4 years ago
Comments count
1
java.lang.ArrayIndexOutOfBoundsException
Updated
6 years ago
Comments count
2
Java 1.7 support?
Closed
9 years ago
Comments count
3
Emitting jUnit type of tests?
Updated
9 years ago
src/common in Makefile
Updated
9 years ago
Comments count
1
cvc4
Updated
10 years ago