User Tools

Site Tools


usage

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
usage [2018/11/15 20:21]
liyong [Counterexample Analysis]
usage [2018/11/15 20:21] (current)
liyong [Lazy Equivalence Check]
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.
 <​code>​ <​code>​
usage.txt · Last modified: 2018/11/15 20:21 by liyong