Hi! In reply to this mail I'll send a few patches that fix little things I've noticed while working my way into KLEE (I still doesn't work all the way, but I'll tell you in another mail):
[PATCH 1/6] www/Tutorial-1.html: fix naming inconsistency in example [PATCH 2/6] tools/klee/main.cpp: move increment into for-loop head [PATCH 3/6] tools/klee/main.cpp: move duplicate code to a function [PATCH 4/6] TODO.txt: drop "rename .bout to .ktest" item [PATCH 5/6] examples/sort: fix a little memory leak [PATCH 6/6] klee/main: update symbol list for klee_get_value* diffstat: TODO.txt | 2 -- examples/sort/sort.c | 3 +++ tools/klee/main.cpp | 59 +++++++++++++++++++----------------------- www/Tutorial-1.html | 4 +-- 4 files changed, 32 insertions(+), 36 deletions(-) If you like Github, I can put them there, too. Thanks, Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
