search

move-language / move

Apache License 2.0
2.25k stars 684 forks source link

[Prover] Added a nested loop invariant example #961

Closed junkil-park closed 1 year ago

junkil-park commented 1 year ago

Added a nested loop invariant example as a test case

Motivation

demo a nested loop inv

Have you read the Contributing Guidelines on pull requests?

yes

Test Plan

cargo test