From d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f Mon Sep 17 00:00:00 2001 From: bloodstalker Date: Fri, 5 Oct 2018 18:37:02 +0330 Subject: now supports size-bound reads --- run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'run.sh') diff --git a/run.sh b/run.sh index 7469e86..b05df75 100755 --- a/run.sh +++ b/run.sh @@ -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 -- cgit v1.2.3