perses
perses copied to clipboard
uw-pluverse
language-agnostic program reducer.
Instruction for downloading still shows v1.4. ``` wget https://github.com/perses-project/perses/releases/download/v1.4/perses_deploy.jar java -jar perses_deploy.jar [options]? --test-script --input-file ``` A quick sed cmd can be added to `reducer/perses/scripts/release.py` to bump the version in...
This issue is very similar to #23, it just in my scenario I was trying to use perses on a sqlite file. ```bash [17:44:32] [INFO ] Tree Building: Start building...
The current library jcommander is fine, but not great. A better option might be [picocli](https://picocli.info/#_programmatic_api)
test command: ```bash ./dragonwell-11.0.19.15+7-GA/bin/java -jar perses_deploy.jar --threads 1 --test-script $PWD/reduce.sh --input-file test.c -o result ``` result: ```log [11:12:40] [INFO ] Tree Building: Start building spar-tree from input file SourceFile{file=FileWithContent{file=/root/test.c}, lang=LanguageC{name=c,...
Currently, we might print something else after the reduction is done. We should make sure that the reduction statistics should ALWAYS be printed at the end of a reduction run....
This will be a good feature to have, especially that perses has different flags than c-reduce. For example, when a user has typed ``` perses-trunk --tes ``` Then when the...
It seems unnecessary to have the apache exec library at all, and I think removing the library may give us some runtime performance gain. This bug is currently tracked by...
``` com.guardsquare proguard-base 7.0.0 pom ```
Create a script to 1. if necessary, download spotbugs to a location (e.g., /tmp/xxxx, ${HOME}/.perses/tools/spotbugs) 2. build perses_deploy.jar 3. call spotbugs on perses_deploy.jar 4. add this script to `scripts/presubmit.sh` If...
The time component in the following log message is not right. `[14:11:44] [WARNING] One script execution took too much time: 00:38:06 1970/01/01`