diff --git a/src/workprover/test.py b/src/workprover/test.py
index a45d7dd1..af18dea0 100755
--- a/src/workprover/test.py
+++ b/src/workprover/test.py
@@ -80,7 +80,11 @@ class TestUtils(unittest.TestCase):
 
 class TestSolver(unittest.TestCase):
     def setUp(self):
-        self.solver = self.Solver(codePath)
+        try:
+            self.solver = self.Solver(codePath)
+        except gpusolver.GPUSolverError:
+            self.skipTest("OpenCL unavailable")
+
         self.solver.setParallelism(1)
 
     def testSearch(self):