Learn ToDo

Learn ToDo

After the models have been modelled or imported, you can start learning ToDo. Navigate to the setup view by clicking on the item Setup in the sidebar.

Learn ToDo

The view looks similar to the one for managing symbols. Now, select the symbols that should be learned, but exclude the reset symbol.

Learn ToDo

Learn ToDo

Then, you have to mark the reset symbol as reset symbol explicitly by clicking on the blue circle beside the symbol item.

Learn ToDo

Before we learn ToDo, we want to configure some parameters for the learn process. By clicking on the gear icon on the top right, we open a new modal window that reveals options to configure the process.

Learn ToDo

Here, we only adjust the equivalence oracle as seen in the image. Save the changes by clicking on the Save button.

Learn ToDo

Learn ToDo

Now, click on the button Start Learning in order to start the learn process with the selected set of symbols and the configuration. You are then redirected to a loading page where the current status is displayed. After some time, the result will be displayed as a mealy machine of ToDo.

Learn ToDo

results matching ""

    No results matching ""