Bump org.checkerframework:checker-qual from 4.2.1 to 4.2.2 - #148
Merged
kostis merged 1 commit intoAug 10, 2026
Merged
Annotations
10 warnings
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/sul/SimulatorSUL.java#L116
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/sul/SimulatorSUL.java#L102
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/equivalence/RAEquivalenceTest.java#L311
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/equivalence/RAEquivalenceTest.java#L294
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/equivalence/IOEquivalenceTest.java#L393
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/equivalence/IOEquivalenceTest.java#L385
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/equivalence/IOEquivalenceTest.java#L361
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/equivalence/IOEquivalenceTest.java#L346
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/automata/MutableRegisterAutomaton.java#L293
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
|
Compile, check, and run tests:
src/main/java/de/learnlib/ralib/automata/MutableRegisterAutomaton.java#L106
execute(de.learnlib.ralib.data.RegisterValuation,de.learnlib.ralib.data.ParameterValuation,de.learnlib.ralib.data.Constants) in de.learnlib.ralib.automata.Transition has been deprecated
|
background
wait
wait-all
cancel
parallel
Loading