Skip to content

FIX: IntervalValue.__eq__ and __ne__ - #67

Merged
yuleisui merged 2 commits into
SVF-tools:mainfrom
hanyuone:intervalvalue-equality
Jul 29, 2026
Merged

FIX: IntervalValue.__eq__ and __ne__#67
yuleisui merged 2 commits into
SVF-tools:mainfrom
hanyuone:intervalvalue-equality

Conversation

@hanyuone

Copy link
Copy Markdown
Contributor

Fix stubtest errors associated with IntervalValue.__eq__ and IntervalValue.__ne__.

@yuleisui
yuleisui merged commit 0f8af06 into SVF-tools:main Jul 29, 2026
1 check passed
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