search

Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

[BUG] Clock Constraints Conjunctions not Handled #158

Open Nielswps opened 1 year ago

Nielswps commented 1 year ago

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