Skip to content

GitLab

Commit 3307b41e authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Update README.md

parent 04b8c7eb
Hide whitespace changes
Inline Side-by-side
README.md
View file @ 3307b41e
...@@ -138,5 +138,5 @@ Say we want to learn a randomly generated Mealy machine with 2 inputs, 2 outputs ...@@ -138,5 +138,5 @@ Say we want to learn a randomly generated Mealy machine with 2 inputs, 2 outputs
and 3 states. Then we run: and 3 states. Then we run:
``` ```
$ z3gi -m randnorst -a MealyMachine -ni 2 -no 2 -ns 3 $ python z3gi -m randnorst -a MealyMachine -ni 2 -no 2 -ns 3
``` ```
\ No newline at end of file
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