Skip to content

FEAT: Align C++ and Python type params for AbstractValue, IntervalValue#64

Draft
hanyuone wants to merge 2 commits into
SVF-tools:mainfrom
hanyuone:ai-typecheck
Draft

FEAT: Align C++ and Python type params for AbstractValue, IntervalValue#64
hanyuone wants to merge 2 commits into
SVF-tools:mainfrom
hanyuone:ai-typecheck

Conversation

@hanyuone

Copy link
Copy Markdown

In certain operations in AbstractValue and IntervalValue, the types do not properly match. This PR fixes that.

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.

1 participant