search

tweag / cooked-validators

MIT License
39 stars 11 forks source link

Ltl `there` modifier #370

Closed mmontin closed 4 months ago

mmontin commented 4 months ago

Adds the there modifier to precisely modify an endpoint within a trace.