Console Output

Started by timer
Running as SYSTEM
[EnvInject] - Loading node environment variables.
Building in workspace /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace
The recommended git tool is: NONE
No credentials specified
 > git rev-parse --resolve-git-dir /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/.git # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url https://github.com/ultimate-pa/smtinterpol.git # timeout=10
Cleaning workspace
 > git rev-parse --verify HEAD # timeout=10
Resetting working tree
 > git reset --hard # timeout=10
 > git clean -fdx # timeout=10
Pruning obsolete local branches
Fetching upstream changes from https://github.com/ultimate-pa/smtinterpol.git
 > git --version # timeout=10
 > git --version # 'git version 2.32.0'
 > git fetch --tags --force --progress --prune -- https://github.com/ultimate-pa/smtinterpol.git +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git rev-parse origin/master^{commit} # timeout=10
Checking out Revision 7506c07c063cadcbf761422021bea96cbef17415 (origin/master)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 7506c07c063cadcbf761422021bea96cbef17415 # timeout=10
Commit message: "ignore proofparser files in sonar"
 > git rev-list --no-walk 7506c07c063cadcbf761422021bea96cbef17415 # timeout=10
[Checks API] No suitable checks publisher found.
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@191c8e96[nodeId=MDEwOlJlcG9zaXRvcnkxNDUyMjQ2MQ==,description=SMTInterpol interpolating SMT solver,homepage=<null>,name=smtinterpol,fork=false,archived=false,visibility=public,size=22597,milestones={},language=Java,commits={},source=<null>,parent=<null>,isTemplate=false,compareUsePaginatedCommits=false,url=https://api.github.com/repos/ultimate-pa/smtinterpol,id=14522461,nodeId=<null>,createdAt=2013-11-19T11:26:30Z,updatedAt=2022-03-14T10:25:47Z]] (sha:7506c07) with context:SMTInterpol
Setting commit status on GitHub for https://github.com/ultimate-pa/smtinterpol/commit/7506c07c063cadcbf761422021bea96cbef17415
[workspace] $ ant -Dsonar.login=ultimate -Dsonar.password=ultimate sonar
Buildfile: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/build.xml

get-version:
     [echo] Version is 2.5-1093-g7506c07c

check_smtlib1.cup_current:

smtlib1.cup:

generate_parser:
     [java] Warning: Terminal "LOGIC" was declared but never used
     [java] Warning: Terminal "THEORY" was declared but never used
     [java] Warning: Terminal "INDEXED_ID" was declared but never used
     [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
     [java]   0 errors and 3 warnings
     [java]   47 terminals, 40 non-terminals, and 96 productions declared, 
     [java]   producing 220 unique parse states, 81 unique actions. 
     [java]   3 terminals declared but not used.
     [java]   0 non-terminals declared but not used.
     [java]   0 productions never reduced.
     [java]   0 conflicts detected (0 expected).
     [java]   Code written to "Parser.java", and "LexerSymbols.java".
     [java] ---------------------------------------------------- (1.2 20210807)
     [java] Reading "smtlib.flex"
     [java] Constructing NFA : 508 states in NFA
     [java] Converting NFA to DFA : 
     [java] ........................................................................................................................................................................................................................................................
     [java] 254 states before minimization, 208 states in minimized DFA
     [java] Writing code to "Lexer.java"

check_smtlib2.cup_current:

smtlib2.cup:

generate_parser:
     [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
     [java]   0 errors and 0 warnings
     [java]   98 terminals, 91 non-terminals, and 317 productions declared, 
     [java]   producing 349 unique parse states, 143 unique actions. 
     [java]   0 terminals declared but not used.
     [java]   0 non-terminals declared but not used.
     [java]   0 productions never reduced.
     [java]   0 conflicts detected (0 expected).
     [java]   Code written to "Parser.java", and "LexerSymbols.java".
     [java] ---------------------------------------------------- (1.2 20210807)
     [java] Reading "smtlib.flex"
     [java] Constructing NFA : 1,096 states in NFA
     [java] Converting NFA to DFA : 
     [java] .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
     [java] 695 states before minimization, 680 states in minimized DFA
     [java] Writing code to "Lexer.java"

check_proofchecker.cup_current:

proofchecker.cup:

generate_parser:
     [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
     [java]   0 errors and 0 warnings
     [java]   90 terminals, 67 non-terminals, and 334 productions declared, 
     [java]   producing 477 unique parse states, 157 unique actions. 
     [java]   0 terminals declared but not used.
     [java]   0 non-terminals declared but not used.
     [java]   0 productions never reduced.
     [java]   0 conflicts detected (0 expected).
     [java]   Code written to "ProofParser.java", and "ProofSymbols.java".
     [java] ---------------------------------------------------- (1.2 20210807)
     [java] Reading "proofs.flex"
     [java] Constructing NFA : 658 states in NFA
     [java] Converting NFA to DFA : 
     [java] ...............................................................................................................................................................................................................................................................................................................................................
     [java] 341 states before minimization, 327 states in minimized DFA
     [java] Writing code to "ProofLexer.java"

check_dimacs.cup_current:

dimacs.cup:

generate_parser:
     [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
     [java]   0 errors and 0 warnings
     [java]   7 terminals, 9 non-terminals, and 14 productions declared, 
     [java]   producing 20 unique parse states, 11 unique actions. 
     [java]   0 terminals declared but not used.
     [java]   0 non-terminals declared but not used.
     [java]   0 productions never reduced.
     [java]   0 conflicts detected (0 expected).
     [java]   Code written to "Parser.java", and "LexerSymbols.java".
     [java] ---------------------------------------------------- (1.2 20210807)
     [java] Reading "dimacs.flex"
     [java] Constructing NFA : 47 states in NFA
     [java] Converting NFA to DFA : 
     [java] ...................
     [java] 21 states before minimization, 14 states in minimized DFA
     [java] Writing code to "Lexer.java"

prepare:
     [copy] Copying 1 file to /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol

compile:
    [mkdir] Created dir: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/Library-SMTLIB/release
    [mkdir] Created dir: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/SMTInterpol/release
    [javac] Compiling 51 source files to /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/Library-SMTLIB/release
     [echo] Build SMTLIB library finished
    [javac] Compiling 262 source files to /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/SMTInterpol/release

jacoco-setup:

compile_tests:
    [mkdir] Created dir: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/Library-SMTLIBTest/release
    [javac] Compiling 11 source files to /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/Library-SMTLIBTest/release
    [mkdir] Created dir: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/SMTInterpolTest/release
    [javac] Compiling 26 source files to /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/SMTInterpolTest/release

runtests-coverage:
    [mkdir] Created dir: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/testreports
     [echo] Using additional libs: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/libs/ant-junit.jar
[jacoco:coverage] Enhancing junit with coverage
[jacoco:report] Loading execution data file /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/testreports/jacoco.exec
[jacoco:report] Writing bundle 'Library-SMTLIB' with 143 classes
[jacoco:report] Writing bundle 'SMTInterpol' with 468 classes
     [echo] See coverage results in /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/coverage/index.html

sonar:
     [echo] Excluding the following auto-generated files from analysis:          **/dimacs/Lexer.java,         **/dimacs/LexerSymbols.java,         **/dimacs/Parser.java,         **/smtlib/Lexer.java,         **/smtlib/LexerSymbols.java,         **/smtlib/Parser.java,         **/smtlib2/Lexer.java,         **/smtlib2/LexerSymbols.java,         **/smtlib2/Parser.java         **/proof/checker/ProofParser.java         **/proof/checker/ProofLexer.java         **/proof/checker/ProofSymbols.java         
[sonar:sonar] Apache Ant(TM) version 1.10.9 compiled on December 9 2020
[sonar:sonar] SonarQube Ant Task version: 2.7.0.1612
[sonar:sonar] Loaded from: file:/storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/sonar/lib/sonarqube-ant-task-2.7.0.1612.jar
[sonar:sonar] User cache: /storage/jenkins/.sonar/cache
[sonar:sonar] Default locale: "en_US", source code encoding: "UTF-8" (analysis is platform dependent)
[sonar:sonar] SonarScanner will require Java 11 to run starting in SonarQube 8.x
[sonar:sonar] Load global settings
[sonar:sonar] Load global settings (done) | time=407ms
[sonar:sonar] Server id: A7EE8CF2-AXMfi6_5SvnMjdLwmOWe
[sonar:sonar] User cache: /storage/jenkins/.sonar/cache
[sonar:sonar] Load/download plugins
[sonar:sonar] Load plugins index
[sonar:sonar] Load plugins index (done) | time=361ms
[sonar:sonar] Load/download plugins (done) | time=388ms
[sonar:sonar] Process project properties
[sonar:sonar] Process project properties (done) | time=8ms
[sonar:sonar] Execute project builders
[sonar:sonar] Execute project builders (done) | time=3ms
[sonar:sonar] Project key: de.uni_freiburg.informatik.ultimate.smtinterpol
[sonar:sonar] Base dir: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace
[sonar:sonar] Working dir: /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/.scannerwork
[sonar:sonar] Load project settings for component key: 'de.uni_freiburg.informatik.ultimate.smtinterpol'
[sonar:sonar] Load project settings for component key: 'de.uni_freiburg.informatik.ultimate.smtinterpol' (done) | time=353ms
[sonar:sonar] Load quality profiles
[sonar:sonar] Load quality profiles (done) | time=370ms
[sonar:sonar] Auto-configuring with CI 'Jenkins'
[sonar:sonar] Load active rules
[sonar:sonar] Load active rules (done) | time=6020ms
[sonar:sonar] Indexing files...
[sonar:sonar] Project configuration:
[sonar:sonar]   Excluded sources: **/dimacs/Lexer.java, **/dimacs/LexerSymbols.java, **/dimacs/Parser.java, **/smtlib/Lexer.java, **/smtlib/LexerSymbols.java, **/smtlib/Parser.java, **/smtlib2/Lexer.java, **/smtlib2/LexerSymbols.java, **/smtlib2/Parser.java         **/proof/checker/ProofParser.java         **/proof/checker/ProofLexer.java         **/proof/checker/ProofSymbols.java
[sonar:sonar] 319 files indexed
[sonar:sonar] 8 files ignored because of inclusion/exclusion patterns
[sonar:sonar] 5 files ignored because of scm ignore settings
[sonar:sonar] Quality profile for java: Ultimate 
[sonar:sonar] Quality profile for xml: Sonar way
[sonar:sonar] ------------- Run sensors on module SMTInterpol
[sonar:sonar] Load metrics repository
[sonar:sonar] Load metrics repository (done) | time=345ms
[sonar:sonar] Sensor JavaSquidSensor [java]
[sonar:sonar] Configured Java source version (sonar.java.source): none
[sonar:sonar] JavaClasspath initialization
[sonar:sonar] JavaClasspath initialization (done) | time=9ms
[sonar:sonar] JavaTestClasspath initialization
[sonar:sonar] JavaTestClasspath initialization (done) | time=1ms
[sonar:sonar] Java Main Files AST scan
[sonar:sonar] 305 source files to be analyzed
[sonar:sonar] Load project repositories
[sonar:sonar] Load project repositories (done) | time=355ms
[sonar:sonar] 41/305 files analyzed, current file: SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/ProofRules.java
[sonar:sonar] 71/305 files analyzed, current file: SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/theory/epr/atoms/EprQuantifiedEqualityAtom.java
[sonar:sonar] 133/305 files analyzed, current file: SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/theory/cclosure/CongruencePath.java
[sonar:sonar] 163/305 files analyzed, current file: SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/ProofSimplifier.java
[sonar:sonar] 213/305 files analyzed, current file: SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/theory/linar/AnnotationToProofTerm.java
[sonar:sonar] 274/305 files analyzed, current file: SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/interpolate/Interpolator.java
[sonar:sonar] 305/305 source files have been analyzed
[sonar:sonar] Java Main Files AST scan (done) | time=65880ms
[sonar:sonar] Java Test Files AST scan
[sonar:sonar] 0 source files to be analyzed
[sonar:sonar] Java Test Files AST scan (done) | time=0ms
[sonar:sonar] Java Generated Files AST scan
[sonar:sonar] 0/0 source files have been analyzed
[sonar:sonar] 0 source files to be analyzed
[sonar:sonar] Java Generated Files AST scan (done) | time=1ms
[sonar:sonar] Sensor JavaSquidSensor [java] (done) | time=66010ms
[sonar:sonar] Sensor SonarCSS Rules [cssfamily]
[sonar:sonar] 0/0 source files have been analyzed
[sonar:sonar] No CSS, PHP, HTML or VueJS files are found in the project. CSS analysis is skipped.
[sonar:sonar] Sensor SonarCSS Rules [cssfamily] (done) | time=1ms
[sonar:sonar] Sensor JaCoCo XML Report Importer [jacoco]
[sonar:sonar] Importing 1 report(s). Turn your logs in debug mode in order to see the exhaustive list.
[sonar:sonar] Sensor JaCoCo XML Report Importer [jacoco] (done) | time=201ms
[sonar:sonar] Sensor SurefireSensor [java]
[sonar:sonar] parsing [/storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/target/surefire-reports]
[sonar:sonar] Sensor SurefireSensor [java] (done) | time=1ms
[sonar:sonar] Sensor JavaXmlSensor [java]
[sonar:sonar] 5 source files to be analyzed
[sonar:sonar] Sensor JavaXmlSensor [java] (done) | time=120ms
[sonar:sonar] Sensor HTML [web]
[sonar:sonar] 5/5 source files have been analyzed
[sonar:sonar] Sensor HTML [web] (done) | time=4ms
[sonar:sonar] Sensor XML Sensor [xml]
[sonar:sonar] 5 source files to be analyzed
[sonar:sonar] Sensor XML Sensor [xml] (done) | time=94ms
[sonar:sonar] 5/5 source files have been analyzed
[sonar:sonar] ------------- Run sensors on project
[sonar:sonar] Sensor Zero Coverage Sensor
[sonar:sonar] Sensor Zero Coverage Sensor (done) | time=4ms
[sonar:sonar] Sensor Java CPD Block Indexer
[sonar:sonar] Sensor Java CPD Block Indexer (done) | time=552ms
[sonar:sonar] CPD Executor 25 files had no CPD blocks
[sonar:sonar] CPD Executor Calculating CPD for 280 files
[sonar:sonar] CPD Executor CPD calculation finished (done) | time=100ms
[sonar:sonar] Analysis report generated in 118ms, dir size=6 MB
[sonar:sonar] Analysis report compressed in 685ms, zip size=2 MB
[sonar:sonar] Analysis report uploaded in 521ms
[sonar:sonar] ANALYSIS SUCCESSFUL, you can browse https://monteverdi.informatik.uni-freiburg.de/sonar/dashboard?id=de.uni_freiburg.informatik.ultimate.smtinterpol
[sonar:sonar] Note that you will be able to access the updated dashboard once the server has processed the submitted analysis report
[sonar:sonar] More about the report processing at https://monteverdi.informatik.uni-freiburg.de/sonar/api/ce/task?id=AX-u8cosvfBSb7Z7Jvhh
[sonar:sonar] Analysis total time: 1:17.930 s

BUILD SUCCESSFUL
Total time: 1 minute 53 seconds
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@55ca1642[nodeId=MDEwOlJlcG9zaXRvcnkxNDUyMjQ2MQ==,description=SMTInterpol interpolating SMT solver,homepage=<null>,name=smtinterpol,fork=false,archived=false,visibility=public,size=22597,milestones={},language=Java,commits={},source=<null>,parent=<null>,isTemplate=false,compareUsePaginatedCommits=false,url=https://api.github.com/repos/ultimate-pa/smtinterpol,id=14522461,nodeId=<null>,createdAt=2013-11-19T11:26:30Z,updatedAt=2022-03-14T10:25:47Z]] (sha:7506c07) with context:SMTInterpol
Setting commit status on GitHub for https://github.com/ultimate-pa/smtinterpol/commit/7506c07c063cadcbf761422021bea96cbef17415
Recording test results
[Checks API] No suitable checks publisher found.
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[Checks API] No suitable checks publisher found.
Finished: SUCCESS