Sporadic tags should not be sorted in quantities (instead of clocks)

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL

MIT License

5 stars 1 forks source link

Sporadic tags should not be sorted in quantities (instead of clocks) #86

Open hai-nguyen-van opened 1 year ago

hai-nguyen-van commented 1 year ago

rational-quantity FilAngX  sporadic 8801367.0 8801340.0

yields

## Simulation result [0x13DD7]:
                FilAngX         TIME_FIB                OMEGA_X
[1]             ↑ 8801340.0             ↑ 0.0
[2]             ↑ 8801367.0             ↑ 0.0005                 0.02541