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

[Dan Liew via Phabricator via llvm-commits]

delcypher added a comment.

Neat. Was this generated programmatically?



================
Comment at: test/fuzzer/MultipleConstraintsOnSmallInputTest.c:6
+//
+#include <assert.h>
+#include <stddef.h>
----------------
You don't need this include. You don't seem to be using `assert()` anywhere.


Repository:
  rCRT Compiler Runtime

https://reviews.llvm.org/D46924