solpl 2.3.0__tar.gz → 2.3.5__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {solpl-2.3.0/solpl.egg-info → solpl-2.3.5}/PKG-INFO +1 -1
- {solpl-2.3.0 → solpl-2.3.5}/interpreter/sol.py +7 -3
- {solpl-2.3.0 → solpl-2.3.5}/pyproject.toml +1 -1
- {solpl-2.3.0 → solpl-2.3.5/solpl.egg-info}/PKG-INFO +1 -1
- {solpl-2.3.0 → solpl-2.3.5}/LICENSE +0 -0
- {solpl-2.3.0 → solpl-2.3.5}/README.md +0 -0
- {solpl-2.3.0 → solpl-2.3.5}/setup.cfg +0 -0
- {solpl-2.3.0 → solpl-2.3.5}/solpl.egg-info/SOURCES.txt +0 -0
- {solpl-2.3.0 → solpl-2.3.5}/solpl.egg-info/dependency_links.txt +0 -0
- {solpl-2.3.0 → solpl-2.3.5}/solpl.egg-info/entry_points.txt +0 -0
- {solpl-2.3.0 → solpl-2.3.5}/solpl.egg-info/top_level.txt +0 -0
|
@@ -144,15 +144,19 @@ class SolInterpreter:
|
|
|
144
144
|
self.threads.append(t)
|
|
145
145
|
|
|
146
146
|
def _evaluate_condition(self, cond):
|
|
147
|
+
def get_val(expr):
|
|
148
|
+
val = self._compute(expr.strip())
|
|
149
|
+
return val if val is not None else 0
|
|
150
|
+
|
|
147
151
|
if "=" in cond:
|
|
148
152
|
left, right = cond.split("=")
|
|
149
|
-
return
|
|
153
|
+
return get_val(left) == get_val(right)
|
|
150
154
|
elif "<" in cond:
|
|
151
155
|
left, right = cond.split("<")
|
|
152
|
-
return
|
|
156
|
+
return get_val(left) < get_val(right)
|
|
153
157
|
elif ">" in cond:
|
|
154
158
|
left, right = cond.split(">")
|
|
155
|
-
return
|
|
159
|
+
return get_val(left) > get_val(right)
|
|
156
160
|
return False
|
|
157
161
|
|
|
158
162
|
def _get_block_end(self, start_pc):
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|