README.md 682 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
This is the code used for comparing my tool with learnLib version 0.9.1.

I use this version because of some errors introduced in learnLib by newer versions.

LearnLib code, readme, license and other relevent information can be found at https://github.com/LearnLib/learnlib

How to setup this example:
In your favorite IDE create a project including the content of the src folder and adding to the path
the LearnLib library (the content of the lib folder). Everything has been tested in Eclipse Lunawith JavaSE-1.7.
Adapt the paths to your specific case (around line 178 of TicTacToeLearner.java) and run it to
learn the SUT. You might need to install Graphviz for the dot program.