We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9c9be7d commit 5f51131Copy full SHA for 5f51131
README.md
@@ -14,5 +14,5 @@ General usage is similar to Z3:
14
>>> b = claripy.BVS('var_b', 32)
15
>>> s = claripy.Solver()
16
>>> s.add(b > a)
17
->>> print(s.eval(b, 1))[0]
+>>> print(s.eval(b, 1)[0])
18
```
0 commit comments