search

runtimeverification / mx-semantics

6 stars 1 forks source link

Kasmer: ignore `<txCount>` on RHS #250

Closed bbyalcinkaya closed 2 months ago