Commit 196dfb78 authored by Simone Vuotto's avatar Simone Vuotto

Small fix

parent ee99bb37
Pipeline #195 passed with stages
in 2 minutes and 15 seconds
......@@ -28,7 +28,9 @@ public class ValidPrefixOracle extends TestOracle {
@Override
public void reset() {
this.currentStates = automaton.initStates();
if(automaton != null) {
this.currentStates = automaton.initStates();
}
this.currentTraceLength = 0;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment