Skip to content

v0.1.47: UI/UX improvements (#53)

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Dec 19:42
dcf6f8f
* fix `prove_parser` help text: `Test => Prove`

* add `--id <function_name>` option

* add `--max-examples` option

* add `--directory` option

* Set Version: 0.1.46

* fix `--directory`: find `kasmer.json` in the specified dir.

* update docstrings

* Set Version: 0.1.47

---------

Co-authored-by: devops <[email protected]>