Adds a function counter_is_eq to determine whether a counter check is >= or =.
Adds a second %obs to tests/integration/compiler/counters/counters.ka to check the difference between >= and =.
Updates various test reference files.
This PR resolves Issue #672 specifically, but may not be a complete solution for the whole project. For example, core/symmetries/kade_backend.ml has a similar issue, and core/siteGraphs/snapshot.ml has a similar function that may have similar effects elsewhere in the codebase.
This PR:
counter_is_eq
to determine whether a counter check is>=
or=
.%obs
totests/integration/compiler/counters/counters.ka
to check the difference between>=
and=
.This PR resolves Issue #672 specifically, but may not be a complete solution for the whole project. For example,
core/symmetries/kade_backend.ml
has a similar issue, andcore/siteGraphs/snapshot.ml
has a similar function that may have similar effects elsewhere in the codebase.