[BUG] Clock Constraints Conjunctions not Handled #158
Description
Description
In StateFactory.java, only the first conjunction of clock constraints is handled. This should be changed to account for any additional conjunctions.
Furthermore, clock constraints in the initial state are ignored, which is not ideal.
Where was the error encountered
In the code base