Rano | Ranadeep
Rano | Ranadeep
Right now, Atomkraft doesn't poll for errors from `simd start ...`. If something is wrong while `simd start ...` (via `Node.start()`) is executed, Atomkraft has no clue. This should be...
Currently, one has to provide the chain binary path manually to set up the chain. This creates extra layers of user interaction to set up an Atomkraft project. Something as...
Right now, Atomkraft only processes ITF traces. It would be nice if Atomkraft would process some other format using custom parsers. We can provide a simple parser based on YAML...
Closes #11 [Rendered version](https://github.com/informalsystems/atomkraft/blob/rano/adr03/doc/src/adr02-atomkraft-init.md)
Closes #9. [Rendered version](https://github.com/informalsystems/atomkraft/blob/rano/adr02/doc/src/adr02-trace-executor.md)
We are figuring out how a user will use Atomkraft - produce tests, interact with test setup, and execute them. The idea is to provide a `atomkraft` cli which creates...
Trace executor is one of the top-level components of Atomkraft. It facilitates handling model specifications, generated traces, setting up a testnet(s), and driving a test on it.
There are a bunch of modules in project root that uses PascalCase (CapWords in [PEP 8](https://peps.python.org/pep-0008/#descriptive-naming-styles)). PascalCase is used for [`class` names](https://peps.python.org/pep-0008/#class-names). They need to be refactored and renamed to...
Currently `modelator-py` is a dependency on [`modelator`](https://github.com/informalsystems/modelator). But both of them use the same name for the CLI app. https://github.com/informalsystems/modelator-py/blob/801e8b214217ce977edb655ff0bf3d379b0a91fe/pyproject.toml#L29-L30 Since `modelator-py` because a python library for TLA, I suggest...