X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;ds=inline;f=182374%2Freduce-ice;fp=182374%2Freduce-ice;h=cc7bcf1551137ec5449ba0e8a567babe8aa68536;hb=81f80d8c1c9898ae1c26534a3287a47220390f5c;hp=6480e7faa57209128c99d7d070dd6ac35d0f9185;hpb=45516216fc552c838e650d868214d867027a64f6;p=ICEs.git diff --git a/182374/reduce-ice b/182374/reduce-ice index 6480e7f..cc7bcf1 100755 --- a/182374/reduce-ice +++ b/182374/reduce-ice @@ -3,7 +3,7 @@ # Run like: # multidelta -level=# ./reduce-ice $FILE # levels: 0 0 1 1 2 2 10 10 -# +# FILE=test.i CC=gcc