Is there a function that I can use in a program to distinguish between
running under KLEE and replaying a ktest using libkleeRuntest?
The reason that I want this is so that my test harness can print symbolic
values when replaying with concrete values but does not do so when running
under KLEE.
Hi Alastair,
Unless I'm misremembering things, we've never added anything like this,
but this is the right approach, and I'd be happy to accept such a PR. I
think the right way to do this would be to have this as an intrinsic
defined in both runtime/Intrinsic and runtime/Runtest.
Best,