Contract: Add invariant
contract
#46
Workflow file for this run
File not found
The workflow file could not be found.
invariant
contract
#46
The workflow file could not be found.