Verify Cursor::move_forward #345
Annotations
5 errors
|
verify
Process completed with exit code 1.
|
|
verify
error: aborting due to 1 previous error
|
|
verify
internal error: generated ill-typed AIR code: error 'in call to ens%lib!mm.page_table.node.impl&%1.make_guard_unchecked., argument #5 has type "tuple%0." when it should have type "Int"' in expression '(ens%lib!mm.page_table.node.impl&%1.make_guard_unchecked. C&. C& pt@ preempt_guard@
|
|
verify
error: assertion failed
|
|
Verification Failed
Verification errors found in the code
|