check.expect.bitwise¶
Requires actual and expected values to match bit-for-bit.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | UnknownEffects, HasAncestor(check.case) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | actual |
any |
required | — |
| Operand | expected |
any |
required | — |
Verification constraints¶
SameType(actual, expected)