|
|
@ -167,7 +167,6 @@ Rules::Rules() |
|
|
|
{{Instruction::OR, {X, X}}, [=]{ return X; }}, |
|
|
|
{{Instruction::SUB, {X, X}}, [=]{ return u256(0); }}, |
|
|
|
{{Instruction::EQ, {X, X}}, [=]{ return u256(1); }}, |
|
|
|
{{Instruction::EQ, {X, X}}, [=]{ return u256(1); }}, |
|
|
|
{{Instruction::LT, {X, X}}, [=]{ return u256(0); }}, |
|
|
|
{{Instruction::SLT, {X, X}}, [=]{ return u256(0); }}, |
|
|
|
{{Instruction::GT, {X, X}}, [=]{ return u256(0); }}, |
|
|
|