Skip to content
GitLab
Explore
Sign in
Niklas Krafczyk
libsfsmtest
Issues
#26
Invariants from fault domain seem to be used incorrectly
There is a check missing. If no invariants are given an empty
(and)
appears in monitor usage.