Skip to content

Commit

Permalink
[move] Additional Prover specs for Coin module (+ Move version bump) (M…
Browse files Browse the repository at this point in the history 
…ystenLabs#6751)

* [move] Additional Prover specs for Coin module (+ Move version bump)

* Regenerated genesis snapshot and added a forgotten modified file

* Brought back accidentally deleted function and re-generated snapshots

* Used schemas to simplify some specs

* Regenerated genesis snapshot and added a forgotten modified file
  • Loading branch information
@awelc
awelc authored Dec 13, 2022
1 parent 1609d0b commit a00a8a7
Show file tree
Hide file tree
Showing 7 changed files with 371 additions and 144 deletions.
76 changes: 38 additions & 38 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit a00a8a7

Please sign in to comment.