GaloisInc / pate

Patches Assured up to Trace Equivalence

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Enforce abstraction boundary for SimSpec

danmatichuk opened this issue · comments

Currently SimSpec exposes a fairly leaky abstraction - we should be able to restrict its interface to avoid exposing its internal structure. In particular we should be able to have wrapper functions for cleanly producing a fresh SimSpec.