State Machine Generator
Generate
Select Trace(s)
*
abc-correct.txt
abc-buggy.txt
Add Constraint(s)
*
(state generation)
Refresh
Please select a trace file to load saved constraints
Manage
Property
Nature of Constraint
Constraint
Delete
Value Changed
Classes using another variable
Classes using range of 2 variables
Classes using constant
Start Tracing After This Variable equals
Delete
Save Constraints
Submit Constraints
Saved State Machines
Select variables and methods to include:
State Variables
Functions
Save State Machine
Loading
Show Values
Hide
Values
<
>