Mark Roberts

LOG: java -ea -cp /scratch/markro/clones/t-cover.cur/toradocu/commons-collections/inputs/commons-collections/target/commons-collections4-4.2-SNAPSHOT.jar:/scratch/markro/clones/t-cover.cur/toradocu/libs/randoop.jar -Xbootclasspath/a:/scratch/markro/clones/t-cover.cur/toradocu/libs/replacecall.jar -javaagent:/scratch/markro/clones/t-cover.cur/toradocu/libs/replacecall.jar randoop.main.Main gentests --testjar=/scratch/markro/clones/t-cover.cur/toradocu/commons-collections/inputs/commons-collections/target/commons-collections4-4.2-SNAPSHOT.jar --time-limit=900 --stop-on-error-test=false --junit-output-dir=/scratch/markro/clones/t-cover.cur/toradocu/commons-collections/src/test/java --flaky-test-behavior=output --no-error-revealing-tests --junit-reflection-allowed=false --usethreads --output-limit=2000 Randoop for Java version "4.2.5, local changes, branch master, commit da1ed6c, 2021-03-10"....

stack overflow processing Parameterized Type (infinite recursive loop?)

2

1) set up the randoop pascali coverage suite => https://gitlab.cs.washington.edu/randoop/pascali-coverage 2) cd to the directory established in step (1) 3) cd integration-test2 4) run './run_randoop.py ojalgo' 5) the various output...

Checker framework crash running Signedness checker on jOOQ

3

jOOQ build must be run on java 17 git clone markro49/jOOQ cd jOOQ git checkout test cd jOOQ (wd is now jOOQ/jOOQ) mvn -V -B -e clean compile -Dcheckerframework.checkers=org.checkerframework.checker.signedness.SignednessChecker -DskipTests=true...