Skip to content
GitLab
Explore
Sign in
Niklas Krafczyk
libsfsmtest
Issues
#21
Add extended test suite output format
Output format for test suites such that decisions and computations can be reconstructed.