Skip to content
Jenkins
log in
Dashboard
Overview
SMTInterpol
#2334
Test Results
Test Results
de.uni_freiburg.informatik.ultimate.logic
RationalTermTest
Back to Project
Status
Changes
Console Output
View Build Information
History
Environment Variables
Git Build Data
Test Result
Embeddable Build Status
Next Build
Test Result : RationalTermTest
0 failures
3 tests
Took 8 ms.
All Tests
Test name
Duration
Status
testLIA
1 ms
Passed
testLIRA
3 ms
Passed
testLRA
4 ms
Passed