diff options
| author | Veronica Radu <veronicaradu@google.com> | 2019-07-31 11:44:44 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-09-04 10:46:46 +0200 |
| commit | 5de425bc59b7ba22a24ca72aa0e9517c48e51218 (patch) | |
| tree | c538eb52604cd41ea0f80bff6b0075267fe17b7b /executor/defs.h | |
| parent | b0e5f924b51be09e68d13aef1030435c14c501ea (diff) | |
prog: implemented argument and call priorities
Diffstat (limited to 'executor/defs.h')
| -rw-r--r-- | executor/defs.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/defs.h b/executor/defs.h index 21b54c955..2df5b419a 100644 --- a/executor/defs.h +++ b/executor/defs.h @@ -175,7 +175,7 @@ #if GOARCH_64 #define GOARCH "64" -#define SYZ_REVISION "aaee55a3532998a140b25dc52cc113c4de048dd2" +#define SYZ_REVISION "71d8f9a8f2ed06129920bb9f60aef16fb9ca749b" #define SYZ_EXECUTOR_USES_FORK_SERVER 0 #define SYZ_EXECUTOR_USES_SHMEM 0 #define SYZ_PAGE_SIZE 4096 |