More languages support. Currently supported languages: Go
Java (In progress)
Rust
Python
C
C++
Other languages, please let us know!
Shrinking failing test cases to minimal reproducing cases
All transitions coverage by implementing state space exploration algorithms like Chinese Postman Problem
Project management
Display the progress of the implementation and features not implemented (returning NotImplementedError)
Shared server mode. At present, the server hosts a single state machine. In the future, it will be possible to host multiple state machines on a single server.