From 2f83abb602a595ce7272c5c3bae430ad04aa2821 Mon Sep 17 00:00:00 2001 From: Tobias Eidelpes Date: Thu, 3 Jun 2021 10:15:20 +0200 Subject: [PATCH] Add INPUT definition --- Project2.fst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project2.fst b/Project2.fst index a5e2862..1535b81 100644 --- a/Project2.fst +++ b/Project2.fst @@ -135,7 +135,7 @@ let step te cs = | (BALANCE, a::stack') -> let (bal, _, _) = (gs a) in Next (Exec(((gas-1, pc+1, mem, bal::stack'), (actor, input, code), gs') :: ps)) | (ADDRESS, stack') -> Next (Exec(((gas-1, pc+1, mem, actor::stack'), (actor, input, code), gs)::ps)) - | (INPUT, stack') -> magic () + | (INPUT, stack') -> Next (Exec(((gas-1, pc+1, mem, input::stack'), (actor, input, code), gs) :: ps)) | (GAS, stack') -> Next (Exec(((gas-1, pc+1, mem, gas::stack'), (actor, input, code), gs)::ps)) | (JUMP i, stack') -> Next (Exec((((gas-1, i, mem, stack'), (actor, input, code), gs))::ps)) | (JUMPI i, b::stack') -> magic ()