MBT: Use modelator crate (informalsystems#724)

* Use modelador crate * remove gen_tests.py
hu55a1n1 · Mar 23, 2021 · 2f0d1d0 · 2f0d1d0
1 parent af0d2f5
commit 2f0d1d0
Show file tree

Hide file tree

Showing 2 changed files with 181 additions and 5 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -27,6 +27,7 @@
 - [ibc]
   - Follow Rust guidelines naming conventions ([#689])
   - Per client structure modules ([#740])
+  - MBT: use modelator crate ([#761])
 
 - [ibc-relayer]
   - [nothing yet]
@@ -74,6 +75,7 @@
 [#736]: https://github.com/informalsystems/ibc-rs/issues/736
 [#740]: https://github.com/informalsystems/ibc-rs/issues/740
 [#752]: https://github.com/informalsystems/ibc-rs/issues/752
+[#761]: https://github.com/informalsystems/ibc-rs/issues/761
 
 ## v0.1.1
 *February 17, 2021*

diff --git a/Cargo.lock b/Cargo.lock