From ee7faafa7076ec66cc592c75e8375bbe75026171 Mon Sep 17 00:00:00 2001 From: Wei Tang Date: Mon, 9 Jul 2018 23:13:14 +0800 Subject: [PATCH] Add note why value stack is always empty after execution --- src/runner.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/runner.rs b/src/runner.rs index 2b7d92e..f907673 100644 --- a/src/runner.rs +++ b/src/runner.rs @@ -116,7 +116,7 @@ impl Interpreter { self.value_stack.pop() }); - // Ensure that stack is empty after the execution. + // Ensure that stack is empty after the execution. This is guaranteed by the validation properties. assert!(self.value_stack.len() == 0); Ok(opt_return_value) @@ -150,7 +150,7 @@ impl Interpreter { self.value_stack.pop() }); - // Ensure that stack is empty after the execution. + // Ensure that stack is empty after the execution. This is guaranteed by the validation properties. assert!(self.value_stack.len() == 0); Ok(opt_return_value)