usage
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| usage [2018/11/15 20:21] – [Counterexample Analysis] liyong | usage [2018/11/15 20:21] (current) – [Lazy Equivalence Check] liyong | ||
|---|---|---|---|
| Line 105: | Line 105: | ||
| If you want to reuse the counterexample returned by the teacher as much as possible, you can use the | If you want to reuse the counterexample returned by the teacher as much as possible, you can use the | ||
| - | lazy equivalence check optimization as follows (NOT TESTED). | + | lazy equivalence check optimization as follows (NOT FULLY TESTED). |
| This option is **not encouraged** since it may result in larger output automaton. | This option is **not encouraged** since it may result in larger output automaton. | ||
| < | < | ||
usage.txt · Last modified: 2018/11/15 20:21 by liyong