[PATCH] D46924: [libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).

[Kostya Serebryany via Phabricator via llvm-commits]

kcc accepted this revision.
kcc added a comment.
This revision is now accepted and ready to land.

LGTM++

Looking forward to trying to attack it. 
But indeed, for examples like this, KLEE (or other symexec) is clearly more powerful... today.

btw, thanks for supplying the reproducer in the top comment.


Repository:
  rCRT Compiler Runtime

https://reviews.llvm.org/D46924