Build: #2 was successful
Job: build, test, publish was successful
Test results
- 4,061 tests in total
- 22 minutes taken in total.
The following 4,061 tests have passed:
Show all tests on one page| Status | 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 |