informalsystems / informalsystems/modelator-py
Feature: implement a better prototype trace subset selection function
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
[Context](https://github.com/informalsystems/mbt/pull/95)
There is an extremely basic unoptimized version here
https://github.com/informalsystems/modelator-py/blob/bc71f46f0e0cfe85843c63d46c590fce51cbd0fb/modelator/scratch_subset_selection.py
, which could be replaced by a more optimized version using some efficient array encoding, by for example using numpy.
A real long term implementation should probably be done in Rust.
Contributor guide
Assessment
This issue has not been assessed yet.