Hi Willem, On 08/10/14 15:55, Willem Pinckaers wrote:
I would like to be able to run Klee on bit code with a different data layout, in particular a different pointer size.
Yes, that would be a useful scenario to support.
Would adding a klee_internal_printf to the intrinsic functions which get aliased to printf when running with external functions disabled be acceptable?
Yes, I think this would be ok. Cristian _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
