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.

Sign up for GitHub

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

Jump to bottom

Props (maybe also Expr?) are not fully ordered #425

Closed
msooseth opened this issue Nov 9, 2023 · 1 comment
Closed

Props (maybe also Expr?) are not fully ordered #425

msooseth opened this issue Nov 9, 2023 · 1 comment
Assignees
@msooseth
Labels
bug Something isn't working

Comments

@msooseth
Copy link
Collaborator

msooseth commented Nov 9, 2023

nubOrd of

[PLT (BufLength (AbstractBuf "txdata")) (Lit 0x10000000000000000),PEq (Lit 0x539) (Var "arg1"),PNeg (PEq (Lit 0x539) (Var "arg1")),PEq TxValue (Lit 0x0),PLT (BufLength (AbstractBuf "txdata")) (Lit 0x10000000000000000),PNeg (PEq (Lit 0x539) (Var "arg1"))]

is [PLT (BufLength (AbstractBuf "txdata")) (Lit 0x10000000000000000),PEq (Lit 0x539) (Var "arg1"),PNeg (PEq (Lit 0x539) (Var "arg1")),PEq TxValue (Lit 0x0),PLT (BufLength (AbstractBuf "txdata")) (Lit 0x10000000000000000),PNeg (PEq (Lit 0x539) (Var "arg1"))]

But it has PNeg (PEq (Lit 0x539) (Var "arg1")) twice.
@msooseth msooseth self-assigned this Nov 9, 2023
@msooseth msooseth added the bug Something isn't working label Nov 9, 2023
@msooseth
Copy link
Collaborator Author

msooseth commented Nov 9, 2023

Being fixed by #424

@d-xo d-xo closed this as completed Nov 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@msooseth msooseth

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@d-xo @msooseth