# ======================================== 
# Trajectory: 0                            
# Model:      encruft                      
# Key:                                     
# Method:     coverage                     
#                                          
# Events:     19                           
# Including failure information.           
# ======================================== 
# Step: 1, Trajectory: 0 
[Enter]."Invoke"
# Step: 2, Trajectory: 0 
[Main Window, No File]."IOError"
# Step: 3, Trajectory: 0 
[Main Window, No File]."Save"
# Step: 4, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 5, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 6, Trajectory: 0 
[Main Window, File, Edits]."IO_Save_Error"
# Step: 7, Trajectory: 0 
[Main Window, File, Edits]."SaveErrorAbort"
# Step: 8, Trajectory: 0 
[Main Window, File, Edits]."Save"
# Step: 9, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 10, Trajectory: 0 
[Main Window, File, Edits]."Open"
# Step: 11, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 12, Trajectory: 0 
[Main Window, File, Edits]."New"
# Step: 13, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 14, Trajectory: 0 
[Main Window, File, Edits]."IOError"
# Step: 15, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 16, Trajectory: 0 
[Main Window, File, Edits]."Rename"
# Step: 17, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 18, Trajectory: 0 
[Main Window, File, Edits]."Revert"
# Step: 19, Trajectory: 0 
[Main Window, File]."Exit"
