[Revert] Timer function

Fantom-foundation / Norma

Integration project of Carmen and Tosca

GNU Lesser General Public License v3.0

2 stars 9 forks source link

Closed rpl-ffl closed 2 weeks ago

rpl-ffl commented 2 weeks ago

All timer-related event removed.
Parser no longer recognizes timer, check no longer checks for timer correctness.
All scenarios targeted for release testing that requires timer now moved from scenario/release_testing to release_testing.