Commit 726baab2 authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Update README.md

parent cba8455f
......@@ -55,7 +55,7 @@ that it rejects the string (if its value is `0`).
In the current version, we require that the first observation introduces all inputs in the alphabet.
We can use Z3GI to learn a model for the observations in `train.txt` as follows:
We can use Z3GI to learn a model for the observations in `regex_example` as follows:
```
$ python z3gi -m traces -a DFA -f resources\traces\regex_example
......
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