=== 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"