Rollback to support yices again

.github/workflows/ci.yml

@@ -49,6 +49,13 @@ jobs:
       env:
         TEST_TYPE: ${{ matrix.type }}
       run: |
+        #install cvc4
+        sudo wget -O /usr/bin/cvc4 https://github.com/CVC4/CVC4/releases/download/1.7/cvc4-1.7-x86_64-linux-opt
+        sudo chmod +x /usr/bin/cvc4
+        #install yices
+        sudo add-apt-repository ppa:sri-csl/formal-methods
+        sudo apt-get update
+        sudo apt-get install yices2
         # Install solc unconditionally because it only takes a second or two
         sudo wget -O /usr/bin/solc https://github.com/ethereum/solidity/releases/download/v0.4.24/solc-static-linux
         sudo chmod +x /usr/bin/solc

manticore/core/smtlib/expression.py

@@ -770,6 +770,10 @@ def __getitem__(self, index):
                     raise IndexError
         return self.select(self.cast_index(index))
 
+    def __iter__(self):
+        for i in range(len(self)):
+            yield self[i]
+
     def __eq__(self, other):
         # FIXME taint
         def compare_buffers(a, b):