Negative rational tags incorrectly parsed

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL

MIT License

5 stars 1 forks source link

Closed hai-nguyen-van closed 5 years ago

hai-nguyen-van commented 6 years ago

tag relation c6 = 1.0 * c5 + 1.0
tag relation c5 = ~3.0
@step
@print