All, I've started to play around with Klee and I ran into a small build problem (. I'm using Mac OS X 10.5.7 with the Xcode 3.1.3 developer tools. When building, I get an error compiling ExprUtil.cpp (I'm including the full error at the end of this email). As the error message suggests, adding "-fexceptions" to CXXFLAGS fixes the problem and allows the build to finish.
On a slightly different note, what's the latest ETA on your customized uClibc? I've run Klee on a few simple examples (and it seems to work perfectly) but I'd also like to run it on some larger programs where handling library code is more important. ~Jim ---------------------------------------------------------- llvm[2]: Compiling ExprUtil.cpp for Release build /usr/include/c++/4.0.0/tr1/hashtable: In member function ?std::pair<typename std::tr1::hashtable<Key, Value, Allocator, ExtractKey, Equal, H1, H2, H, RehashPolicy, cache_hash_code, mutable_iterators, unique_keys>::iterator, bool> std::tr1::hashtable<Key, Value, Allocator, ExtractKey, Equal, H1, H2, H, RehashPolicy, cache_hash_code, mutable_iterators, unique_keys>::insert(const Value&, std::tr1::true_type) [with Key = klee::ref<klee::Expr>, Value = klee::ref<klee::Expr>, Allocator = std::allocator<klee::ref<klee::Expr> >, ExtractKey = Internal::identity<klee::ref<klee::Expr> >, Equal = klee::util::ExprCmp, H1 = klee::util::ExprHash, H2 = Internal::mod_range_hashing, H = Internal::default_ranged_hash, RehashPolicy = Internal::prime_rehash_policy, bool cache_hash_code = false, bool mutable_iterators = false, bool unique_keys = true]?: /usr/include/c++/4.0.0/tr1/hashtable:870: instantiated from ?typename Internal::IF<unique_keys, std::pair<Internal::hashtable_iterator<Value, (! mutable_iterators), cache_hash_code>, bool>, Internal::hashtable_iterator<Value, (! mutable_iterators), cache_hash_code> >::type std::tr1::hashtable<Key, Value, Allocator, ExtractKey, Equal, H1, H2, H, RehashPolicy, cache_hash_code, mutable_iterators, unique_keys>::insert(const Value&) [with Key = klee::ref<klee::Expr>, Value = klee::ref<klee::Expr>, Allocator = std::allocator<klee::ref<klee::Expr> >, ExtractKey = Internal::identity<klee::ref<klee::Expr> >, Equal = klee::util::ExprCmp, H1 = klee::util::ExprHash, H2 = Internal::mod_range_hashing, H = Internal::default_ranged_hash, RehashPolicy = Internal::prime_rehash_policy, bool cache_hash_code = false, bool mutable_iterators = false, bool unique_keys = true]? ExprUtil.cpp:30: instantiated from here /usr/include/c++/4.0.0/tr1/hashtable:1263: error: exception handling disabled, use -fexceptions to enable
