Skip to content

Conversation

@VSteveHL
Copy link
Collaborator

add s7 tests

add 3 rules for s7

modify analysis/abstract-interpreter.sls

add s7 tests

add 3 rules for s7

modify analysis/abstract-interpreter.sls
@ufo5260987423
Copy link
Collaborator

Please add a test for define* rules.

@ufo5260987423 ufo5260987423 merged commit 6a36592 into MoganLab:main Aug 13, 2025
1 check passed
@VSteveHL VSteveHL deleted the pr/s7 branch August 14, 2025 06:10
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

Successfully merging this pull request may close these issues.

2 participants