Batch processing output - fix 2044415 (#118)

Fixes: https://bugs.launchpad.net/tapaal/+bug/2044415
TAPAAL · Nov 27, 2023 · 9556417 · 9556417
2 parents 5027ce4 + 0a3f76b
commit 9556417
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main/java/dk/aau/cs/approximation/ApproximationWorker.java b/src/main/java/dk/aau/cs/approximation/ApproximationWorker.java
@@ -939,7 +939,9 @@ public VerificationResult<TimedArcPetriNetTrace> batchWorker(
                 verificationResult.verificationTime(),
                 verificationResult.stats(),
                 false,
-                verificationResult.getUnfoldedModel());
+                verificationResult.getRawOutput(),
+                verificationResult.getUnfoldedModel(),
+                null);
             value.setNameMapping(composedModel.value2());
         }