You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: documentation/usage.md
+9-2Lines changed: 9 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -68,17 +68,24 @@ Auto execute ProvMark for all syscall currently supported
68
68
69
69
Usage:
70
70
~~~~
71
-
./runTests <Tools> <Tools_Path> <Result Type>
71
+
./runTests <Tools> <Tools_Path> <Result Type> [<Trial> <Target Base Path>]
72
72
~~~~
73
73
74
+
#### Trial (Default: 2):
75
+
- Number of trial executed for each graph for generalization
76
+
- More trial will result in longer processing time, but provide a more accurate result as multiple trial can help to filter out uncertainty and unrelated elements and noise
77
+
78
+
#### Target Base Path (Default: ./baseSyscall/):
79
+
- Path to the location of the directory storing the target testing command group, with separate syscall folder inside containing prepare script for the specific syscall.
80
+
74
81
Example for batch execution of spade with Graphviz storage and generate html webpage to display all result
75
82
~~~~
76
83
./runTests spg /path/to/spade/base/directory rh
77
84
~~~~
78
85
79
86
Example for batch execution of CamFlow (again, the base directory is ignored in this case):
0 commit comments