Commit 215b5687 authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Merged

parents 2610fca0 3307b41e
......@@ -144,5 +144,5 @@ Say we want to learn a randomly generated Mealy machine with 2 inputs, 2 outputs
and 3 states. We then run:
```
$ z3gi -m randnorst -a MealyMachine -ni 2 -no 2 -ns 3
$ python z3gi -m randnorst -a MealyMachine -ni 2 -no 2 -ns 3
```
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