# ======================================== 
# Trajectory: 0                            
# Model:      encruft                      
# Key:                                     
# Method:     coverage                     
#                                          
# Events:     8                            
# Including failure information.           
# ======================================== 
# Step: 1, Trajectory: 0 
[Enter]."Invoke"
# Step: 2, Trajectory: 0 
[Main Window, No File]."New"
# Step: 3, Trajectory: 0 
[Main Window, File]."Save"
# Step: 4, Trajectory: 0 
[Main Window, File]."Open"
# Step: 5, Trajectory: 0 
[Main Window, File]."New"
# Step: 6, Trajectory: 0 
[Main Window, File]."IOError"
# Step: 7, Trajectory: 0 
[Main Window, File]."Rename"
# Step: 8, Trajectory: 0 
[Main Window, File]."Exit"
