search

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

Missing type-checker #5

Closed hai-nguyen-van closed 7 years ago

hai-nguyen-van commented 7 years ago

Type-checker is necessary to prevent inconsistent runs to be considered as premodels where clocks are in dead-lock and will never react