1 | states per second: 0 |
---|
2 | state count: 0 |
---|
3 | mips: 0 |
---|
4 | |
---|
5 | version: 4.3.6+de23017c00f8 |
---|
6 | architecture: Intel(R) Core(TM) i7-6820HQ CPU @ 2.70GHz |
---|
7 | memory used: 656900 |
---|
8 | physical memory used: 232900 |
---|
9 | user time: 2.015660 |
---|
10 | system time: 0.092856 |
---|
11 | wall time: 1.985060 |
---|
12 | |
---|
13 | fragment memory: |
---|
14 | total: { items: 173, used: 1617568, held: 1965944 } |
---|
15 | 1: { items: 4, used: 4, held: 4088 } |
---|
16 | 2: { items: 1, used: 2, held: 4088 } |
---|
17 | 4: { items: 2, used: 8, held: 4088 } |
---|
18 | 6: { items: 1, used: 6, held: 4088 } |
---|
19 | 7: { items: 1, used: 7, held: 4088 } |
---|
20 | 8: { items: 9, used: 72, held: 4088 } |
---|
21 | 12: { items: 1, used: 12, held: 4080 } |
---|
22 | 16: { items: 16, used: 256, held: 4080 } |
---|
23 | 24: { items: 7, used: 168, held: 4080 } |
---|
24 | 32: { items: 22, used: 704, held: 4064 } |
---|
25 | 36: { items: 1, used: 36, held: 4080 } |
---|
26 | 40: { items: 4, used: 160, held: 4080 } |
---|
27 | 44: { items: 1, used: 44, held: 4080 } |
---|
28 | 48: { items: 1, used: 48, held: 4080 } |
---|
29 | 49: { items: 1, used: 49, held: 4088 } |
---|
30 | 50: { items: 1, used: 50, held: 4088 } |
---|
31 | 52: { items: 1, used: 52, held: 4088 } |
---|
32 | 53: { items: 1, used: 53, held: 4088 } |
---|
33 | 56: { items: 5, used: 280, held: 4088 } |
---|
34 | 57: { items: 1, used: 57, held: 4032 } |
---|
35 | 58: { items: 1, used: 58, held: 4032 } |
---|
36 | 64: { items: 8, used: 512, held: 4032 } |
---|
37 | 65: { items: 1, used: 65, held: 4032 } |
---|
38 | 67: { items: 1, used: 67, held: 4032 } |
---|
39 | 68: { items: 1, used: 68, held: 4032 } |
---|
40 | 69: { items: 1, used: 69, held: 4032 } |
---|
41 | 70: { items: 1, used: 70, held: 4032 } |
---|
42 | 72: { items: 1, used: 72, held: 4032 } |
---|
43 | 73: { items: 2, used: 146, held: 4080 } |
---|
44 | 77: { items: 2, used: 154, held: 4080 } |
---|
45 | 78: { items: 1, used: 78, held: 4080 } |
---|
46 | 80: { items: 2, used: 160, held: 4080 } |
---|
47 | 81: { items: 1, used: 81, held: 4048 } |
---|
48 | 88: { items: 2, used: 176, held: 4048 } |
---|
49 | 90: { items: 1, used: 90, held: 4032 } |
---|
50 | 91: { items: 1, used: 91, held: 4032 } |
---|
51 | 93: { items: 1, used: 93, held: 4032 } |
---|
52 | 96: { items: 2, used: 192, held: 4032 } |
---|
53 | 97: { items: 1, used: 97, held: 4056 } |
---|
54 | 101: { items: 1, used: 101, held: 4056 } |
---|
55 | 104: { items: 1, used: 104, held: 4056 } |
---|
56 | 105: { items: 1, used: 105, held: 4032 } |
---|
57 | 108: { items: 2, used: 216, held: 4032 } |
---|
58 | 109: { items: 1, used: 109, held: 4032 } |
---|
59 | 112: { items: 1, used: 112, held: 4032 } |
---|
60 | 113: { items: 1, used: 113, held: 4080 } |
---|
61 | 114: { items: 1, used: 114, held: 4080 } |
---|
62 | 117: { items: 1, used: 117, held: 4080 } |
---|
63 | 120: { items: 1, used: 120, held: 4080 } |
---|
64 | 124: { items: 1, used: 124, held: 3968 } |
---|
65 | 125: { items: 1, used: 125, held: 3968 } |
---|
66 | 127: { items: 1, used: 127, held: 3968 } |
---|
67 | 129: { items: 1, used: 129, held: 4080 } |
---|
68 | 130: { items: 1, used: 130, held: 4080 } |
---|
69 | 131: { items: 1, used: 131, held: 4080 } |
---|
70 | 133: { items: 1, used: 133, held: 4080 } |
---|
71 | 134: { items: 1, used: 134, held: 4080 } |
---|
72 | 150: { items: 1, used: 150, held: 3952 } |
---|
73 | 152: { items: 1, used: 152, held: 3952 } |
---|
74 | 154: { items: 1, used: 154, held: 4000 } |
---|
75 | 156: { items: 1, used: 156, held: 4000 } |
---|
76 | 161: { items: 1, used: 161, held: 4032 } |
---|
77 | 162: { items: 2, used: 324, held: 4032 } |
---|
78 | 167: { items: 1, used: 167, held: 4032 } |
---|
79 | 181: { items: 1, used: 181, held: 4048 } |
---|
80 | 194: { items: 1, used: 194, held: 4000 } |
---|
81 | 210: { items: 1, used: 210, held: 3888 } |
---|
82 | 219: { items: 1, used: 219, held: 4032 } |
---|
83 | 232: { items: 1, used: 232, held: 3944 } |
---|
84 | 245: { items: 1, used: 245, held: 3968 } |
---|
85 | 251: { items: 1, used: 251, held: 3840 } |
---|
86 | 255: { items: 1, used: 255, held: 3840 } |
---|
87 | 256: { items: 1, used: 256, held: 3840 } |
---|
88 | 272: { items: 1, used: 272, held: 4080 } |
---|
89 | 276: { items: 1, used: 276, held: 3920 } |
---|
90 | 291: { items: 1, used: 291, held: 3848 } |
---|
91 | 296: { items: 1, used: 296, held: 3848 } |
---|
92 | 304: { items: 1, used: 304, held: 3952 } |
---|
93 | 307: { items: 1, used: 307, held: 4056 } |
---|
94 | 319: { items: 1, used: 319, held: 3840 } |
---|
95 | 331: { items: 1, used: 331, held: 4032 } |
---|
96 | 370: { items: 1, used: 370, held: 3760 } |
---|
97 | 424: { items: 1, used: 424, held: 3816 } |
---|
98 | 433: { items: 1, used: 433, held: 3960 } |
---|
99 | 440: { items: 1, used: 440, held: 3960 } |
---|
100 | 502: { items: 1, used: 502, held: 4032 } |
---|
101 | 587: { items: 1, used: 587, held: 3552 } |
---|
102 | 679: { items: 4, used: 2716, held: 4080 } |
---|
103 | 743: { items: 1, used: 743, held: 3720 } |
---|
104 | 1024: { items: 1, used: 1024, held: 3072 } |
---|
105 | 1197: { items: 1, used: 1197, held: 3600 } |
---|
106 | 1292: { items: 1, used: 1292, held: 3888 } |
---|
107 | 1338: { items: 1, used: 1338, held: 4032 } |
---|
108 | 563220: { items: 1, used: 563220, held: 563224 } |
---|
109 | 1030928: { items: 1, used: 1030928, held: 1030928 } |
---|
110 | snapshot memory: |
---|
111 | total: { items: 1, used: 240, held: 4080 } |
---|
112 | 240: { items: 1, used: 240, held: 4080 } |
---|
113 | fragment table: { used: 12, capacity: 256 } |
---|
114 | snapshot table: { used: 0, capacity: 256 } |
---|
115 | input file: main.c |
---|
116 | compile options: |
---|
117 | - main.c |
---|
118 | input options: |
---|
119 | sys.0: "debug:mainargs" |
---|
120 | sys.1: "nofail:malloc" |
---|
121 | divine.bcname: "main.c" |
---|
122 | dios config: |
---|
123 | smt solver: stp |
---|
124 | property type: safety |
---|
125 | |
---|
126 | timers: |
---|
127 | lart: 0.577 |
---|
128 | loader: 0.752 |
---|
129 | boot: 0.067 |
---|
130 | search: 0.01 |
---|
131 | ce: 0.124 |
---|
132 | error found: boot |
---|
133 | error trace: | |
---|
134 | [ ] ERROR: Unused option debug:mainargs |
---|
135 | FAULT: Unused options |
---|
136 | [ ] FATAL: config error in kernel |
---|
137 | have_debug() failed in debug mode |
---|
138 | W: debug mode cannot be changed in debug mode (abandoned) |
---|
139 | have_debug() failed in debug mode |
---|
140 | W: debug mode cannot be changed in debug mode (abandoned) |
---|
141 | boot info: |
---|
142 | main argv: |
---|
143 | 0: main.c |
---|
144 | main envp: |
---|
145 | |
---|
146 | |
---|
147 | machine trace: |
---|
148 | |
---|