diff options
| author | Nick Fitzgerald <fitzgen@gmail.com> | 2017-10-05 10:48:47 -0700 |
|---|---|---|
| committer | Nick Fitzgerald <fitzgen@gmail.com> | 2017-10-05 10:51:56 -0700 |
| commit | d97cba5caec6fa2d784f03ab3eae8ea97c1abeb2 (patch) | |
| tree | 1c39aea711eb56c09338a3facf33402d10ef37ae | |
| parent | a25a2f66ba160862f33c76bdb292c7fd42669eaf (diff) | |
Make the `csmith` driver script executable
| -rwxr-xr-x[-rw-r--r--] | csmith-fuzzing/driver.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/csmith-fuzzing/driver.py b/csmith-fuzzing/driver.py index f4f00f87..38ae9ff3 100644..100755 --- a/csmith-fuzzing/driver.py +++ b/csmith-fuzzing/driver.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + import os, sys from subprocess import run, SubprocessError, DEVNULL, PIPE from tempfile import NamedTemporaryFile |