8117214826
77%
master: 92%

Ran 01 Mar 2024 09:09PM UTC

Jobs 0

Files 0

Run time –

Badge

Build Type

push

github

Committed by

Commit Message

Prevent division by 0 (#396)

When checking whether the operand is not 0, one should only look on
32 bits when doing a 32 bits operation.

Run Details

Detailed source file information is not available for this build.