Skip to content

Commit f886d81

Browse files
committed
cache: fix index-out-of-bounds error
(cherry picked from commit 6051c7a)
1 parent 3f3ae3b commit f886d81

1 file changed

Lines changed: 7 additions & 1 deletion

File tree

oracles/filters/cache/src/main/java/de/learnlib/filter/cache/mealy/MealyCacheOracle.java

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -214,9 +214,15 @@ private MasterQuery<I, O> createMasterQuery(Word<I> word) {
214214
if (errorSyms == null) {
215215
return new MasterQuery<>(word);
216216
}
217+
217218
int wbSize = wb.size();
219+
220+
if (wbSize == 0) {
221+
return new MasterQuery<>(word, errorSyms);
222+
}
223+
218224
O repSym = errorSyms.get(wb.getSymbol(wbSize - 1));
219-
if (wbSize == 0 || repSym == null) {
225+
if (repSym == null) {
220226
return new MasterQuery<>(word, errorSyms);
221227
}
222228

0 commit comments

Comments
 (0)