TestCE

all > de.uka.ilkd.key.testcase.smt.ce > TestCE
12

tests
0

failures
0

ignored
10.289s

duration
100%

successful

Tests

Test Duration Result
testMiddle() 10.223s passed
testOverFlow1() 0.051s passed
testOverFlow2() 0s passed
testTypes1() 0.001s passed
testTypes2() 0s passed
testTypes3() 0.001s passed
testTypes4() 0.001s passed
testTypes5() 0s passed
testTypes6() 0.001s passed
testTypes7() 0.001s passed
testTypes8() 0.010s passed
testTypes9() 0s passed

Standard error

SLF4J: No SLF4J providers were found.
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See https://www.slf4j.org/codes.html#noProviders for further details.
SLF4J: Class path contains SLF4J bindings targeting slf4j-api versions 1.7.x or earlier.
SLF4J: Ignoring binding found at [jar:file:/home/runner/.gradle/caches/modules-2/files-2.1/ch.qos.logback/logback-classic/1.2.10/f69d97ef3335c6ab82fc21dfb77ac613f90c1221/logback-classic-1.2.10.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See https://www.slf4j.org/codes.html#ignoredBindings for an explanation.