Skip to content
Jenkins
log in
Dashboard
All
SMTInterpol
#2334
Test Results
de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure
CongruentAddTest
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 : CongruentAddTest
0 failures
5 tests
Took 2 ms.
All Tests
Test name
Duration
Status
testCase1
0 ms
Passed
testCase2
0 ms
Passed
testCase3
1 ms
Passed
testCase4
0 ms
Passed
testCase5
1 ms
Passed