Skip to content

Adds two randomized equivalence oracles based on the W method - #40

Merged
abainczyk merged 2 commits into
LearnLib:developfrom
Jaxan:randomized-eq-oracles
Oct 27, 2016
Merged

Adds two randomized equivalence oracles based on the W method#40
abainczyk merged 2 commits into
LearnLib:developfrom
Jaxan:randomized-eq-oracles

Renamed the oracles to be consistent with current style.

6f8ea2f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs