Can't find monitor/verif/impl.rkt

uw-unsat / serval-tutorial-sosp19

13 stars 3 forks source link

Can't find monitor/verif/impl.rkt #2

Closed ljcppp closed 1 year ago

ljcppp commented 2 years ago

The abstraction function and representation invariant can't be found in monitor/verif/impl.rkt. I think it's in monitor/verif/refinement.rkt. But it's different from README's description.