fix issue #46

LearnLib · Aug 21, 2021 · 37e30f2 · 37e30f2
1 parent 1e9e9fa
commit 37e30f2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...rc/main/java/net/automatalib/modelcheckers/ltsmin/monitor/AbstractLTSminMonitorMealy.java b/...rc/main/java/net/automatalib/modelcheckers/ltsmin/monitor/AbstractLTSminMonitorMealy.java
@@ -140,10 +140,11 @@ protected void verifyFormula(String formula) {
             return new MealyMachine<Integer, I, CompactTransition<O>, O>() {
 
                 @Override
+                @SuppressWarnings("nullness") // TODO XXX FIXME: Returning non-null values would currently break InclusionOracles in LearnLib. We should rethink a clean API here.
                 public Word<O> computeStateOutput(Integer state, Iterable<? extends I> input) {
                     final Integer succ = getSuccessor(state, input);
 
-                    return deadlock.equals(succ) ? MealyMachine.super.computeStateOutput(state, input) : Word.epsilon();
+                    return deadlock.equals(succ) ? MealyMachine.super.computeStateOutput(state, input) : null;
                 }
 
                 @Override