fix(klee): name symbolic objects by their type, not by unexpanded macro text - #63

fix(klee): name symbolic objects by their type, not by unexpanded macro text#63

GuilhermeBn198 merged 1 commit into

develophbgit/Map2Check:developfrom

fix/klee-symbolic-object-nameshbgit/Map2Check:fix/klee-symbolic-object-namesCopy head branch name to clipboard