Skip to content
Jenkins
log in
Dashboard
Overview
SMTInterpol
#2334
Test Results
de.uni_freiburg.informatik.ultimate.epr.dawgs
DawgTestSignatureTranslations
test1
Back to Project
Status
Changes
Console Output
View Build Information
History
Environment Variables
Git Build Data
Test Result
Embeddable Build Status
Next Build
Passed
de.uni_freiburg.informatik.ultimate.epr.dawgs.DawgTestSignatureTranslations.test1
Took 2 ms.
![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
