Use klee_assume(s[N - 1] == '\0') call for the last element of string#279
Merged
operasfantom merged 1 commit intomainfrom Jun 14, 2022
Merged
Use klee_assume(s[N - 1] == '\0') call for the last element of string#279operasfantom merged 1 commit intomainfrom
operasfantom merged 1 commit intomainfrom
