Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Point and sequence assertions #313

Open
pgrinaway opened this issue Jun 8, 2023 · 1 comment
Open

Point and sequence assertions #313

pgrinaway opened this issue Jun 8, 2023 · 1 comment

Comments

@pgrinaway
Copy link

Hello all,

I was wondering if there were plans to add sequence (not just periodic) trace assertions to AirScript. I poked around a bit and didn't see any mention of them, but apologies if I missed something.

Thanks!

@bobbinth
Copy link
Contributor

These could be very interesting to add, though we don't have any immediate plans of working on them yet. I think there are a couple of things to figure out to make them work:

  • What is the best syntax to support the. For point assertions this should be fairly simple. For sequence assertions may require some changes.
  • What is the best way to represent them in the IR. Currently, we have FirstRow and LastRow variants in the ConstraintDomain enum. We'll need to think how to incorporate both point and sequence assertions here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants