search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Check field assign start / end events #7

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

Can field assignment be used as a start or end bound for an assertion?

Should implement an experiment to check this.

Baltoli commented 7 years ago

It's definitely valid to have field assignments as the bounds for something like this. They are parsed appropriately into the manifest. I couldn't get it to work with an assignment as the assertion start bound, but could with the end bound.