Ticket #88: main.report

File main.report, 4.2 KB (added by Lukáš Zaoral, 5 years ago)

Line
1	states per second: 0
2	state count: 0
3	mips: 0
4
5	version: 4.3.6+7fddc2ad73ce
6	architecture: Intel(R) Core(TM) i7-6820HQ CPU @ 2.70GHz
7	memory used: 690580
8	physical memory used: 200100
9	user time: 1.147381
10	system time: 0.059487
11	wall time: 1.085505
12
13	fragment memory:
14	total: { items: 111, used: 1436524, held: 1665840 }
15	1: { items: 3, used: 3, 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	8: { items: 12, used: 96, held: 4088 }
20	16: { items: 10, used: 160, held: 4080 }
21	24: { items: 7, used: 168, held: 4080 }
22	32: { items: 9, used: 288, held: 4064 }
23	36: { items: 1, used: 36, held: 4080 }
24	40: { items: 4, used: 160, held: 4080 }
25	44: { items: 1, used: 44, held: 4080 }
26	49: { items: 1, used: 49, held: 4088 }
27	50: { items: 1, used: 50, held: 4088 }
28	52: { items: 1, used: 52, held: 4088 }
29	53: { items: 1, used: 53, held: 4088 }
30	56: { items: 4, used: 224, held: 4088 }
31	58: { items: 1, used: 58, held: 4032 }
32	60: { items: 1, used: 60, held: 4032 }
33	61: { items: 1, used: 61, held: 4032 }
34	62: { items: 1, used: 62, held: 4032 }
35	64: { items: 2, used: 128, held: 4032 }
36	65: { items: 1, used: 65, held: 4032 }
37	68: { items: 1, used: 68, held: 4032 }
38	69: { items: 1, used: 69, held: 4032 }
39	70: { items: 1, used: 70, held: 4032 }
40	72: { items: 1, used: 72, held: 4032 }
41	78: { items: 1, used: 78, held: 4080 }
42	80: { items: 2, used: 160, held: 4080 }
43	81: { items: 1, used: 81, held: 4048 }
44	88: { items: 2, used: 176, held: 4048 }
45	96: { items: 1, used: 96, held: 4032 }
46	102: { items: 1, used: 102, held: 4056 }
47	104: { items: 1, used: 104, held: 4056 }
48	105: { items: 1, used: 105, held: 4032 }
49	108: { items: 1, used: 108, held: 4032 }
50	125: { items: 1, used: 125, held: 3968 }
51	127: { items: 1, used: 127, held: 3968 }
52	133: { items: 1, used: 133, held: 4080 }
53	134: { items: 1, used: 134, held: 4080 }
54	137: { items: 1, used: 137, held: 4032 }
55	138: { items: 1, used: 138, held: 4032 }
56	152: { items: 1, used: 152, held: 3952 }
57	156: { items: 1, used: 156, held: 4000 }
58	157: { items: 1, used: 157, held: 4000 }
59	162: { items: 2, used: 324, held: 4032 }
60	163: { items: 1, used: 163, held: 4032 }
61	186: { items: 1, used: 186, held: 4032 }
62	194: { items: 1, used: 194, held: 4000 }
63	255: { items: 1, used: 255, held: 3840 }
64	267: { items: 1, used: 267, held: 4080 }
65	283: { items: 1, used: 283, held: 4032 }
66	307: { items: 1, used: 307, held: 4056 }
67	319: { items: 1, used: 319, held: 3840 }
68	332: { items: 1, used: 332, held: 4032 }
69	377: { items: 1, used: 377, held: 3840 }
70	433: { items: 1, used: 433, held: 3960 }
71	502: { items: 1, used: 502, held: 4032 }
72	587: { items: 1, used: 587, held: 3552 }
73	658: { items: 3, used: 1974, held: 3984 }
74	1300: { items: 1, used: 1300, held: 3912 }
75	503284: { items: 1, used: 503284, held: 503288 }
76	921056: { items: 1, used: 921056, held: 921056 }
77	snapshot memory:
78	total: { items: 1, used: 612, held: 3696 }
79	612: { items: 1, used: 612, held: 3696 }
80	fragment table: { used: 39, capacity: 256 }
81	snapshot table: { used: 0, capacity: 256 }
82	input file: main.c
83	compile options:
84	- main.c
85	input options:
86	sys.0: "nofail:malloc"
87	divine.bcname: "main.c"
88	vfs.0.name: !!binary Lg==
89	vfs.0.stat: !!binary AP4AAAAAAAALgBsBAAAAAO1BAAAAAAAAAgAAAAAAAADoAwAAAAAAAOgDAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAQAAAAAAAACAAAAAAAAADKMaBdAAAAAJYDeBQAAAAALTugXQAAAAC5hhoOAAAAAC07oF0AAAAAuYYaDgAAAAA=
90	vfs.0.content: !!binary ""
91	vfs.1.name: !!binary bWFpbi5j
92	vfs.1.stat: !!binary AP4AAAAAAAB5ABoBAAAAAKSBAAAAAAAAAQAAAAAAAADoAwAAAAAAAOgDAAAAAAAAAAAAAAAAAAASAAAAAAAAAAAQAAAAAAAACAAAAAAAAAAuNqBdAAAAAJJ3ZiUAAAAALjagXQAAAACSd2YlAAAAAC42oF0AAAAALjHMJQAAAAA=
93	vfs.1.content: !!binary aW50IG1haW4odm9pZCkge30K
94	vfs.2.name: !!binary bWFpbi5yZXBvcnQ=
95	vfs.2.stat: !!binary AP4AAAAAAAAoABoBAAAAAKSBAAAAAAAAAQAAAAAAAADoAwAAAAAAAOgDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAtO6BdAAAAALmGGg4AAAAALTugXQAAAAC5hhoOAAAAAC07oF0AAAAAuYYaDgAAAAA=
96	vfs.2.content: !!binary ""
97	dios config:
98	smt solver: stp
99	property type: safety
100
101	timers:
102	lart: 0.037
103	loader: 0.631
104	boot: 0.066
105	search: 0.012
106	ce: 0.128
107	error found: boot
108	error trace: \|
109	FAULT: null pointer dereference: [global* 0 0 ddn]
110	DOUBLE FAULT: trying to return without a caller
111
112	machine trace:
113