[klee-dev] Replacing external printf with an internal version for the Klee tests.

[Cristian Cadar]

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