=== The Trace Part ===
 
=== The Trace Part ===
   −
The relevant files can be found on the server at: '''''filepath'''''
+
The relevant files can be found on the server at: ''./larva/Benchmark3''
   −
The script will run a scenario that '''''violates/satisfies''''' the property defined in the rest of this page.
+
The script will run a scenario that '''''violates''''' the property defined in the rest of this page.
    
''Instrumentation Information''
 
''Instrumentation Information''
    
     pointcut openSession(UserSession us) :  
 
     pointcut openSession(UserSession us) :  
Exception encountered, of type "Error"