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.38.2' > 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 ae30fd90f647b99e0936a89648611c5f17710353 (origin/master) > git config core.sparsecheckout # timeout=10 > git checkout -f ae30fd90f647b99e0936a89648611c5f17710353 # timeout=10 Commit message: "Cleaned up BvUtils and removed unused parts" > git rev-list --no-walk ae30fd90f647b99e0936a89648611c5f17710353 # timeout=10 [Checks API] No suitable checks publisher found. [Set GitHub commit status (universal)] PENDING on repos [] (sha:ae30fd9) with context:SMTInterpol [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-1392-gae30fd90 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] 100 terminals, 102 non-terminals, and 338 productions declared, [java] producing 374 unique parse states, 152 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,132 states in NFA [java] Converting NFA to DFA : [java] ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... [java] 725 states before minimization, 710 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] 91 terminals, 63 non-terminals, and 331 productions declared, [java] producing 456 unique parse states, 154 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 : 665 states in NFA [java] Converting NFA to DFA : [java] .................................................................................................................................................................................................................................................................................................................................................... [java] 346 states before minimization, 332 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 52 source files to /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/Library-SMTLIB/release [echo] Build SMTLIB library finished [javac] Compiling 272 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 29 source files to /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/SMTInterpolTest/release [javac] /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/SMTInterpolTest/src/de/uni_freiburg/informatik/ultimate/smtinterpol/model/ModelTest.java:550: error: TWO has private access in BigInteger [javac] final Term bv2 = theory.constant(BigInteger.TWO, bvSort); [javac] ^ [javac] 1 error BUILD FAILED /storage/jenkins/jenkins_home/jobs/SMTInterpol/workspace/build.xml:331: Compile failed; see the compiler error output for details. Total time: 8 seconds Build step 'Invoke Ant' marked build as failure [Set GitHub commit status (universal)] FAILURE on repos [] (sha:ae30fd9) with context:SMTInterpol Recording test results ERROR: Step ‘Publish JUnit test result report’ failed: No test report files were found. Configuration error? Not sending mail to unregistered user max.barth95@gmx.de Not sending mail to unregistered user hoenicke@gmail.com Not sending mail to unregistered user schindle@informatik.uni-freiburg.de Not sending mail to unregistered user heizmann@informatik.uni-freiburg.de Sending e-mails to: sopra-crew@informatik.uni-freiburg.de ERROR: 535-5.7.8 Username and Password not accepted. For more information, go to 535 5.7.8 https://support.google.com/mail/?p=BadCredentials d75a77b69052e-47ae9ce2653sm47608101cf.58 - gsmtp javax.mail.AuthenticationFailedException: 535-5.7.8 Username and Password not accepted. For more information, go to 535 5.7.8 https://support.google.com/mail/?p=BadCredentials d75a77b69052e-47ae9ce2653sm47608101cf.58 - gsmtp at com.sun.mail.smtp.SMTPTransport$Authenticator.authenticate(SMTPTransport.java:947) at com.sun.mail.smtp.SMTPTransport.authenticate(SMTPTransport.java:858) at com.sun.mail.smtp.SMTPTransport.protocolConnect(SMTPTransport.java:762) at javax.mail.Service.connect(Service.java:364) at javax.mail.Service.connect(Service.java:222) at javax.mail.Service.connect(Service.java:171) at javax.mail.Transport.send0(Transport.java:230) at javax.mail.Transport.send(Transport.java:100) at hudson.tasks.MailSender.run(MailSender.java:131) at hudson.tasks.Mailer.perform(Mailer.java:179) at hudson.tasks.Mailer.perform(Mailer.java:142) at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20) at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:812) at hudson.model.AbstractBuild$AbstractBuildExecution.performAllBuildSteps(AbstractBuild.java:761) at hudson.model.Build$BuildExecution.post2(Build.java:178) at hudson.model.AbstractBuild$AbstractBuildExecution.post(AbstractBuild.java:705) at hudson.model.Run.execute(Run.java:1914) at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43) at hudson.model.ResourceController.execute(ResourceController.java:99) at hudson.model.Executor.run(Executor.java:440) 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: FAILURE