adjust to AutomataLib refactorings

LearnLib · Aug 5, 2024 · 3e5c33d · 3e5c33d
1 parent fd769e5
commit 3e5c33d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...rt/learning-examples/src/main/java/de/learnlib/testsupport/example/dfa/DFABenchmarks.java b/...rt/learning-examples/src/main/java/de/learnlib/testsupport/example/dfa/DFABenchmarks.java
@@ -22,6 +22,7 @@
 import de.learnlib.testsupport.example.DefaultLearningExample.DefaultDFALearningExample;
 import de.learnlib.testsupport.example.LearningExample.DFALearningExample;
 import net.automatalib.automaton.fsa.impl.CompactDFA;
+import net.automatalib.common.util.IOUtil;
 import net.automatalib.serialization.learnlibv2.LearnLibV2Serialization;
 import org.checkerframework.checker.nullness.qual.Nullable;
 import org.slf4j.Logger;
@@ -42,7 +43,7 @@ private DFABenchmarks() {
         if (resourceStream == null) {
             LOGGER.info(Category.SYSTEM, "Couldn't find resource '{}'", resourceName);
         } else {
-            try (InputStream is = resourceStream) {
+            try (InputStream is = IOUtil.asUncompressedBufferedInputStream(resourceStream)) {
                 CompactDFA<Integer> dfa = LearnLibV2Serialization.getInstance().readGenericDFA(is);
                 return new DefaultDFALearningExample<>(dfa);
             } catch (IOException ex) {