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