diff options
| author | bloodstalker <thabogre@gmail.com> | 2018-10-05 15:07:02 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2018-10-05 15:07:02 +0000 |
| commit | d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f (patch) | |
| tree | be9101e16b2fe4f70f35087f35230bf3feba33d2 /run.sh | |
| parent | update (diff) | |
| download | faultreiber-d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f.tar.gz faultreiber-d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f.zip | |
now supports size-bound reads
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ #!/bin/sh cd $(dirname $0) -"./faultreiber.py" --targetname autowasm --outdir ./test/ --structs ./test/struct.json --xml ./resources/wasm.xml --name wasm --calloc -#"./faultreiber.py" --targetname autowasm --outdir ./test/ --structs ./test/struct.json --xml ./resources/wasm.xml --name wasm +#"./faultreiber.py" --targetname autowasm --outdir ./test/ --structs ./test/struct.json --xml ./resources/wasm.xml --name wasm --calloc +"./faultreiber.py" --targetname autowasm --outdir ./test/ --structs ./test/struct.json --xml ./resources/wasm2.xml --name wasm --calloc "clang-format" -i ./test/read.c ./test/structs.c ./test/structs.h ./test/aggregate.c ./test/aggregate.h ./test/read.h |