Prolog: catch exceptions in test functions

7 files changed, 14 insertions, 0 deletions

diff --git a/prolog/problems/clp_fd/gcd_3/common.py b/prolog/problems/clp_fd/gcd_3/common.py
index 234b126..82ffb28 100644
--- a/prolog/problems/clp_fd/gcd_3/common.py
+++ b/prolog/problems/clp_fd/gcd_3/common.py
@@ -45,6 +45,8 @@ def test(code, aux_code):
             for query, answers in test_cases:
                 if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0):
                     n_correct += 1
+    except:
+        pass
     finally:
         if engine_id:
             prolog.engine.destroy(engine_id)
diff --git a/prolog/problems/clp_fd/magic_1/common.py b/prolog/problems/clp_fd/magic_1/common.py
index 07adf7a..7978c02 100644
--- a/prolog/problems/clp_fd/magic_1/common.py
+++ b/prolog/problems/clp_fd/magic_1/common.py
@@ -43,6 +43,8 @@ def test(code, aux_code):
             for query, answers in test_cases:
                 if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0):
                     n_correct += 1
+    except:
+        pass
     finally:
         if engine_id:
             prolog.engine.destroy(engine_id)
diff --git a/prolog/problems/clp_fd/puzzle_abc_3/common.py b/prolog/problems/clp_fd/puzzle_abc_3/common.py
index 9ad6d1b..95458ab 100644
--- a/prolog/problems/clp_fd/puzzle_abc_3/common.py
+++ b/prolog/problems/clp_fd/puzzle_abc_3/common.py
@@ -35,6 +35,8 @@ def test(code, aux_code):
             for query, answers in test_cases:
                 if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0):
                     n_correct += 1
+    except:
+        pass
     finally:
         if engine_id:
             prolog.engine.destroy(engine_id)
diff --git a/prolog/problems/clp_fd/puzzle_beth_1/common.py b/prolog/problems/clp_fd/puzzle_beth_1/common.py
index 99f0445..0a2bbb6 100644
--- a/prolog/problems/clp_fd/puzzle_beth_1/common.py
+++ b/prolog/problems/clp_fd/puzzle_beth_1/common.py
@@ -30,6 +30,8 @@ def test(code, aux_code):
             for query, answers in test_cases:
                 if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0):
                     n_correct += 1
+    except:
+        pass
     finally:
         if engine_id:
             prolog.engine.destroy(engine_id)
diff --git a/prolog/problems/clp_fd/puzzle_momson_2/common.py b/prolog/problems/clp_fd/puzzle_momson_2/common.py
index 3074d44..927b250 100644
--- a/prolog/problems/clp_fd/puzzle_momson_2/common.py
+++ b/prolog/problems/clp_fd/puzzle_momson_2/common.py
@@ -37,6 +37,8 @@ def test(code, aux_code):
             for query, answers in test_cases:
                 if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0):
                     n_correct += 1
+    except:
+        pass
     finally:
         if engine_id:
             prolog.engine.destroy(engine_id)
diff --git a/prolog/problems/clp_fd/puzzle_ratio_2/common.py b/prolog/problems/clp_fd/puzzle_ratio_2/common.py
index fc2d678..914f4d1 100644
--- a/prolog/problems/clp_fd/puzzle_ratio_2/common.py
+++ b/prolog/problems/clp_fd/puzzle_ratio_2/common.py
@@ -38,6 +38,8 @@ def test(code, aux_code):
             for query, answers in test_cases:
                 if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0):
                     n_correct += 1
+    except:
+        pass
     finally:
         if engine_id:
             prolog.engine.destroy(engine_id)
diff --git a/prolog/problems/clp_fd/tobase_3/common.py b/prolog/problems/clp_fd/tobase_3/common.py
index ce137a4..2b5f37a 100644
--- a/prolog/problems/clp_fd/tobase_3/common.py
+++ b/prolog/problems/clp_fd/tobase_3/common.py
@@ -46,6 +46,8 @@ def test(code, aux_code):
             for query, answers in test_cases:
                 if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0):
                     n_correct += 1
+    except:
+        pass
     finally:
         if engine_id:
             prolog.engine.destroy(engine_id)