issues
search
anithag
/
kleestr
Klee with support for string constraints
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Generating tests only in uppercase letters
#4
zehranaz
opened
9 years ago
1
Kleestr doesn't care about giving tests that obey symbolic size given
#3
zehranaz
opened
9 years ago
0
IMPORTANT: Kleestr not generating good tests for strcmp when comparing to 0
#2
zehranaz
opened
9 years ago
3
klee_assume breaks in kleestr with CVC4:TypeCheckingException
#1
zehranaz
closed
9 years ago
2