blob: d803732fd3d2000fb2832edf85d1bec645f60517 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
Trusted Firmware Fuzzer (TF-Fuzz) starting...
Info: random seed was not specified.
Using seed value of \d+ \(0x[a-f\d]+\).
Purpose line: to show a more-interesting removal case
ASSET_IDENTIFIER: "president"
ASSET_IDENTIFIER: "george"
ASSET_IDENTIFIER: "herbert"
ASSET_IDENTIFIER: "walker"
ASSET_IDENTIFIER: "bush"
SST-asset identifier list: "data"
LITERAL: "no new taxes"
SST-create from literal data: ""no new taxes""
Set SST command: ""no new taxes""
Set command: ""no new taxes""
Command with no expect: ";"
SST-asset random active: "active"
SST-remove arguments: "active"
Remove SST command: "active"
Remove command: "active"
Command with no expect: ";"
SST-asset random active: "active"
SST-remove arguments: "active"
Remove SST command: "active"
Remove command: "active"
Command with no expect: ";"
SST-asset random active: "active"
SST-remove arguments: "active"
Remove SST command: "active"
Remove command: "active"
Command with no expect: ";"
SST-asset random deleted: "deleted"
SST-remove arguments: "deleted"
Remove SST command: "deleted"
Remove command: "deleted"
Command with no expect: ";"
Lines: Line number 7.
Lines: Line number 7.
Lines: Line number 7.
Lines: Line number 7.
Lines: Line number 7.
Lines: Line number 7.
Call sequence generated.
Simulating call sequence...
Writing test file, ./test.c.
TF-Fuzz test generation complete.
|