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 ffacd0b85a97d-3a073e4684csm3572820f8f.76 - 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 ffacd0b85a97d-3a073e4684csm3572820f8f.76 - 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
![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
