Build: #3 was successful
Job: build, test, publish was successful
Test results
- 4,061 tests in total
- 21 minutes taken in total.
The following 4,061 tests have passed:
Show all tests on one pageStatus | Test | Duration |
---|---|---|
UnsignedCheck
testShift
|
< 1 sec | |
UnsignedCheck
testToIntTotoUIntInverses
|
< 1 sec | |
UnsignedCheck
testToUIntToDouble
|
< 1 sec | |
UnsignedCheck
testToUIntTotoIntInverses
|
< 1 sec | |
UnsignedCheck
testZeroFrac
|
< 1 sec | |
UnsignedCheck
testZeroIdentityForAdd
|
< 1 sec | |
UnsignedCheck
testZeroIsZeroMul
|
< 1 sec | |
UnsignedCheck
testZrshiftInt
|
< 1 sec | |
UnsignedCheck
testZrshiftLong
|
< 1 sec | |
UnsignedCheck
testZrshiftUInt
|
< 1 sec | |
UnsignedCheck
testZrshiftULong
|
< 1 sec |