From 0436a990e0b651100cca02b7111de4216a11ebb2 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 18 Sep 2017 14:43:53 +0200 Subject: [PATCH] Fix parsing of -intervaliter:boundmethod options [reported by Christian Dehnert] Previously, any option would result in 'default' being set... --- prism/src/prism/OptionsIntervalIteration.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/prism/OptionsIntervalIteration.java b/prism/src/prism/OptionsIntervalIteration.java index 7c0b1cd6..78d01a8d 100644 --- a/prism/src/prism/OptionsIntervalIteration.java +++ b/prism/src/prism/OptionsIntervalIteration.java @@ -228,16 +228,16 @@ public class OptionsIntervalIteration boundMethod = BoundMethod.DEFAULT; break; case "variant-1-coarse": - boundMethod = BoundMethod.DEFAULT; + boundMethod = BoundMethod.VARIANT_1_COARSE; break; case "variant-1-fine": - boundMethod = BoundMethod.DEFAULT; + boundMethod = BoundMethod.VARIANT_1_FINE; break; case "variant-2": - boundMethod = BoundMethod.DEFAULT; + boundMethod = BoundMethod.VARIANT_2; break; case "dsmpi": - boundMethod = BoundMethod.DEFAULT; + boundMethod = BoundMethod.DSMPI; break; default: throw new PrismException("Unknown argument to interval iteration option '" + option + "', expected one of "