try same concretization

2018-07-23 13:45:36 -07:00
parent 5d5e0087da
commit 1b8b7f4040
1 changed files with 1 additions and 0 deletions
--- a/bin/deepstate/common.py
+++ b/bin/deepstate/common.py
@@ -438,6 +438,7 @@ class DeepState(object):
        return

    expr_ea = self.concretize(expr_ea, constrain=True)
+    file_ea = self.concretize(file_ea, constrain=True)    
    constraint = arg != 0
    if not self.add_constraint(constraint):
      expr, _ = self.read_c_string(expr_ea, concretize=False)