Point and sequence assertions
Open
- Dominant language
- Rust
- Stars
- 96
- Forks
- 39
- PR merge metrics
- No merged PRs in 30d
Description
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!
Contributor guide
Research direction
Look at the AirScript language specification and existing assertion types in the codebase. Understand how periodic trace assertions are implemented. Determine the syntax and semantics for sequence assertions, and identify where in the compiler pipeline they would need to be added.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100