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

21 lines
209 B
Plaintext

INPUT;
JUMPI 16;
PUSH 2;
SLOAD;
PUSH 1;
LE; // 1 <= sent ( == !(sent < 1))
JUMPI 19;
PUSH 1;
PUSH 2;
SSTORE; // sent := 1
PUSH 1;
PUSH 2;
PUSH 2;
PUSH 4;
CALL;
STOP;
PUSH 0;
PUSH 2;
SSTORE; // sent := 0
STOP;