> You should not thought KLEE has very rudimentary C++ support so many > things are likely not to work. Oops. That should of read You should note though that KLEE has very rudimentary C++ support so many things probably won't work.