It seems it was due to the debian package for clang 3.3. Switching to clang 3.4 resolved the issue.
Sylvain Gault _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
