Closed hgeorgsch closed 2 years ago
Parsing the graph to build the STM states, there are several functions which may not return valid data, such as Nothing, and empty list, or a non-singleton list. All of these errors should be captured and an error message given from Main.
Parsing the graph to build the STM states, there are several functions which may not return valid data, such as Nothing, and empty list, or a non-singleton list. All of these errors should be captured and an error message given from Main.