Certora: Mutation testing and rule enhancements #248
Annotations
5 errors
verify (verifySafe.sh)
Process completed with exit code 1.
|
verify (verifyOwners.sh)
The job was canceled because "verifySafe_sh" failed.
|
verify (verifyOwners.sh)
The operation was canceled.
|
verify (verifyModules.sh)
The job was canceled because "verifySafe_sh" failed.
|
verify (verifyModules.sh)
The operation was canceled.
|