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

[Max Moroz via Phabricator via llvm-commits]

Dor1s added a comment.

In https://reviews.llvm.org/D46924#1101643, @delcypher wrote:

> Neat. Was this generated programmatically?


Yes, there is a generator script and some extra info at https://github.com/Dor1s/codegate2017-quals-angrybird


Repository:
  rCRT Compiler Runtime

https://reviews.llvm.org/D46924