TestCE

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

tests
0

failures
0

ignored
11.899s

duration
100%

successful

Tests

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