[BUG] Clock Constraints Conjunctions not Handled
Open
bug
simulation
- Dominant language
- Java
- Stars
- 3
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
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
Contributor guide
Assessment
This issue has not been assessed yet.