Giters
thierry-tct
/
KLEE-SEMu
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
2
Issues:
2
Forks:
1
thierry-tct/KLEE-SEMu Issues
Segfault when post mutation check is disable and the max number of tests per mutant is reached
Updated
3 years ago
Comments count
2
No test generated when post mutation check is on, but tests when off
Closed
3 years ago
Comments count
1