search

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
36 stars 10 forks source link

Fix field access translation #229

Closed n-osborne closed 1 month ago

n-osborne commented 3 months ago

This PR fixes how the name of the accessed field is translated.

It is based on #228, please consider only the last four commits.

n-osborne commented 2 months ago

Rebased on main as #228 has been merged