search

ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
235 stars 48 forks source link

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

Closed msooseth closed 11 months ago

msooseth commented 12 months ago

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 commented 12 months ago

Being fixed by #424