examples with libfuzzer

2018-07-30 21:21:33 -07:00
parent d1a4417dab
commit 1aef3fd325
3 changed files with 12 additions and 4 deletions
--- a/examples/OneOf.cpp
+++ b/examples/OneOf.cpp
@@ -64,7 +64,9 @@ TEST(OneOfExample, ProduceSixtyOrHigher) {
  }
 }

+#ifndef LIBFUZZER
 int main(int argc, char *argv[]) {
  DeepState_InitOptions(argc, argv);
  return DeepState_Run();
 }
+#endif