| commit | 581e3dec5c82dd94809287f267ad61055d2ba14d | |
| author | Daniel Sainati <sainati@fb.com> | |
| Tue, 1 Aug 2017 21:41:20 +0000 (1 14:41 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 1 Aug 2017 21:48:01 +0000 (1 14:48 -0700) | ||
| tree | 0ca87bc772bb099f081b5a6ed8829a9647d60b1d | treesnapshot (tar.gz zip) |
| parent | 7a04dcccc26eaa509520d7a95a5eb7c5c48e1c05 | commitdiff |
multithreaded coverage pruning for fuzzer
Summary: This uses python multiproccessing to make the fuzzer work in parallel. It also adds a timeout option to the fuzzer so the user can specify a timeout for HHVM runs on potentially non-halting input programs.
Reviewed By: paulbiss
Differential Revision: D5512824
fbshipit-source-id: 0315c1dc3eefd1b3b87e77b36e4983763b71e786
Summary: This uses python multiproccessing to make the fuzzer work in parallel. It also adds a timeout option to the fuzzer so the user can specify a timeout for HHVM runs on potentially non-halting input programs.
Reviewed By: paulbiss
Differential Revision: D5512824
fbshipit-source-id: 0315c1dc3eefd1b3b87e77b36e4983763b71e786
| hphp/runtime/vm/verifier/fuzzer/fuzz.py | diffblobblamehistory |