diff --git a/creduce/README.md b/creduce/README.md index 8fe194d..b30042d 100644 --- a/creduce/README.md +++ b/creduce/README.md @@ -28,7 +28,9 @@ Run creduce with `cvise`: ```shell cd src -cvise ./cvise.example.sh onelua.c +cvise /path/to/interest_script.sh onelua.c ``` +See `cvise.example.sh` for an example interest script. + > cvice will reduce the lines of the `onelua.c` file as long as `./cvise.example.sh` executes successfully. It will overwrite the `onelua.c` file in place. Original content can be found in `onelua.c.orig`. diff --git a/creduce/build_onelua.sh b/creduce/build_onelua.sh index c6e2e72..8aa4de5 100644 --- a/creduce/build_onelua.sh +++ b/creduce/build_onelua.sh @@ -14,7 +14,6 @@ fi cp -r "../src" "./src" cp "Makefile" "./src/Makefile" -cp ./cvise.example.sh "./src/cvise.example.sh" cp "./one.c" "./src/one.c" cd "./src"