Generating tests only in uppercase letters

anithag / kleestr

Klee with support for string constraints

2 stars 1 forks source link

Generating tests only in uppercase letters #4

Open zehranaz opened 9 years ago

zehranaz commented 9 years ago

In the strcat tests, all the test cases generated are always in uppercase letters even though to be a valid case, it should be in lowercase. Is this a translation issue (i.e. going from CVC4 to Klee, the written tests just aren't properly formatted), or is this a bigger problem?

anithag commented 9 years ago

Yes, noticed this while testing strlen. I haven't debugged but AFAIK its not a CVC4 problem.