formal-methods-minniethor/counter-example1.txt
2021-07-09 16:01:21 +02:00

24 lines
374 B
Plaintext

PUSH 123; // address of sent
SLOAD; // get value of sent
PUSH 1;
LE; // check 1 <= sent (= !(sent < 1))
JUMPI 22;
PUSH 1;
PUSH 123;
SSTORE; // sent = 1
PUSH ~1337; // - oa
PUSH 0; // - id
PUSH 2; // - va
INPUT; // - to
CALL; // call 1
PUSH ~1337;
MLOAD;
PUSH 123;
SSTORE; // sent = memory[oa]
PUSH ~1337;
PUSH 0; // - id
PUSH 2; // - va
INPUT; // - to
CALL; // call 2
STOP;