=== 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: ''home/larva/Benchmark1''
   −
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''
    
We have defined the following pointcuts to capture the relevant events for this benchmark (see the next section for their use):
 
We have defined the following pointcuts to capture the relevant events for this benchmark (see the next section for their use):
    
     pointcut greylistUser(Integer uid) :  
 
     pointcut greylistUser(Integer uid) :  
Exception encountered, of type "Error"