set solver command in halmos step

Author: horsefacts

.github/workflows/ci.yml

@@ -136,7 +136,7 @@ jobs:
         run: pip install halmos
 
       - name: Run halmos
-        run: halmos --test-parallel --solver-parallel --storage-layout=generic --solver-timeout-assertion 0
+        run: halmos --solver-command yices-smt2 --test-parallel --solver-parallel --storage-layout=generic --solver-timeout-assertion 0
 
   coverage:
     permissions: