Correct shift when unmerged floating ticks

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL

MIT License

5 stars 1 forks source link

Correct shift when unmerged floating ticks #85

Closed hai-nguyen-van closed 1 year ago

hai-nguyen-van commented 1 year ago

decimal-clock mast-fib periodic <1/2000>
decimal-clock ClkCounter periodic 1.0

tag relation mast-fib * 2000 = ClkCounter

@minstep 5
@maxstep 10
@policy asap
@run
@print select mast-fib ClkCounter
@output pdf

hai-nguyen-van commented 1 year ago

2000 is an integer, not a rational.