diff --git a/src/model.py b/src/model.py index 7cc286e..c26bc3b 100644 --- a/src/model.py +++ b/src/model.py @@ -203,9 +203,9 @@ def _execute_test_case(self, inputs, nesting, round): taints = [] for input_ in inputs: # self.LOG.dbg_model_header(input_) # Backported; Should be input_id! - self.reset_model() try: self._load_input(input_) + self.reset_model() if LOGGER.model_debug: # address = 0x1ffc + self.sandbox_base # 0x000 - 0x1000 is first page