From 30e7df6094acee9c19ddac3bff86c8adb5f56683 Mon Sep 17 00:00:00 2001 From: Biryuzovye Kleshni Date: Sat, 23 Jun 2018 15:53:06 +0000 Subject: [PATCH] Skip OpenCL test if unavailable --- src/workprover/test.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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):