TestCE

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

tests
0

failures
0

ignored
14.857s

duration
100%

successful

Tests

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