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=,name=smtinterpol,fork=false,archived=false,visibility=public,size=22597,milestones={},language=Java,commits={},source=,parent=,isTemplate=false,compareUsePaginatedCommits=false,url=https://api.github.com/repos/ultimate-pa/smtinterpol,id=14522461,nodeId=,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=,name=smtinterpol,fork=false,archived=false,visibility=public,size=22597,milestones={},language=Java,commits={},source=,parent=,isTemplate=false,compareUsePaginatedCommits=false,url=https://api.github.com/repos/ultimate-pa/smtinterpol,id=14522461,nodeId=,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