TestCE

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

tests
0

failures
0

ignored
11.745s

duration
100%

successful

Tests

Test Duration Result
testMiddle() 11.648s passed
testOverFlow1() 0.092s passed
testOverFlow2() 0.001s passed
testTypes1() 0.001s passed
testTypes2() 0s passed
testTypes3() 0.001s passed
testTypes4() 0.001s passed
testTypes5() 0.001s passed
testTypes6() 0s passed
testTypes7() 0s passed
testTypes8() 0s 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.