Remove ANSI escape codes from KLEE output
Merge pull request #17 from klee-web/ansi_escape_clean

Remove ANSI escape codes from KLEE output