Implement __contract_ret
as diverging and retd
as terminator
#37
Job | Run time |
---|---|
9m 4s | |
9m 4s |
__contract_ret
as diverging and retd
as terminator
#37
Job | Run time |
---|---|
9m 4s | |
9m 4s |