From 2f5cf8ca960fa08b11720052e31fc36a7d872424 Mon Sep 17 00:00:00 2001
From: Mark Bench <mark.bench@tu-dresden.de>
Date: Thu, 7 Jun 2018 17:06:47 +0200
Subject: [PATCH] handle "null" solutions appropriately
---
.../java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java b/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java
index 6492b56..646616d 100644
--- a/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java
+++ b/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java
@@ -246,7 +246,7 @@ public class Benchmark {
try (BufferedWriter solutionWriter = Files.newBufferedWriter(sfp.getSolutionPath(s))) {
MquatString out = solution.print(new MquatWriteSettings(" "));
solutionWriter.write(out.toString());
- } catch (IOException e) {
+ } catch (NullPointerException | IOException e) {
logger.catching(e);
}
if (!writeOutResult(writer, path, failCount, sb)) return false;
--
GitLab