SuccessConsole Output

Skipping 139 KB.. Full Log
ool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:15.940 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass
04:39:15.944 [pool-331-thread-1] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:15.945 [pool-331-thread-1] INFO  f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test7 iteration 0
04:39:15.946 [pool-331-thread-1] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-2
04:39:15.946 [pool-331-thread-1] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=-4
04:39:15.946 [pool-331-thread-1] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0
04:39:15.946 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:15.946 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=440)
04:39:15.947 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:15.947 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:15.948 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass
04:39:15.956 [pool-331-thread-1] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:15.957 [pool-331-thread-1] INFO  f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test9 iteration 0
04:39:15.958 [pool-331-thread-1] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-8
04:39:15.958 [pool-331-thread-1] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=2
04:39:15.958 [pool-331-thread-1] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0
04:39:15.958 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:15.958 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=443)
04:39:15.959 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:15.959 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:15.960 [pool-331-thread-1] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass
04:39:15.966 [pool-331-thread-1] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
04:39:15.967 [pool-331-thread-1] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements
04:39:16.214 [pool-331-thread-1] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 68861 evaluated elements


========= Info ==========
Nb constants             4
Nb method invocations    0
Nb field access          0
Nb variables             3
Total                    7
Nb evaluated expressions 34398
Init Execution time      315 ms
Collect Execution time   115 ms
Combine Execution time   259.0 ms
Nb Combination par sec   132811 combinations/sec
Total Execution time     689 ms
Nb line execution        7
Nb results               456

Results:
1. a <= b
2. a < b
3. (b != 0) && (a <= b)
4. (a <= b) && (b != 0)
5. (b != 0) && (a < b)
6. (a < b) && (b != 0)
7. (a != 0) && (a <= b)
8. (a <= b) && (a != 0)
9. (a != 0) && (a < b)
10. (a < b) && (a != 0)
11. (b != 1) && (a <= b)
12. (a <= b) && (b != 1)
13. (b != 1) && (a < b)
14. (a < b) && (b != 1)
15. (a != 1) && (a <= b)
16. (a <= b) && (a != 1)
17. (a != 1) && (a < b)
18. (a < b) && (a != 1)
19. (this != null) && (a <= b)
20. (a <= b) && (this != null)
21. (this != null) && (a < b)
22. (a < b) && (this != null)
23. (this.fieldOfOuterClass != b) && (a <= b)
24. (a <= b) && (this.fieldOfOuterClass != b)
25. (this.fieldOfOuterClass != b) && (a < b)
26. (a < b) && (this.fieldOfOuterClass != b)
27. (this.fieldOfOuterClass != a) && (a <= b)
28. (a <= b) && (this.fieldOfOuterClass != a)
29. (this.fieldOfOuterClass != a) && (a < b)
30. (a < b) && (this.fieldOfOuterClass != a)
31. (b != this.fieldOfOuterClass) && (a <= b)
32. (a <= b) && (b != this.fieldOfOuterClass)
33. (b != this.fieldOfOuterClass) && (a < b)
34. (a < b) && (b != this.fieldOfOuterClass)
35. (b != a) && (a <= b)
36. (a <= b) && (b != a)
37. (b != a) && (a < b)
38. (a < b) && (b != a)
39. (a != this.fieldOfOuterClass) && (a <= b)
40. (a <= b) && (a != this.fieldOfOuterClass)
41. (a != this.fieldOfOuterClass) && (a < b)
42. (a < b) && (a != this.fieldOfOuterClass)
43. (a != b) && (a <= b)
44. (a <= b) && (a != b)
45. (a != b) && (a < b)
46. (a < b) && (a != b)
47. (b <= this.fieldOfOuterClass) && (a <= b)
48. (a <= b) && (b <= this.fieldOfOuterClass)
49. (b <= this.fieldOfOuterClass) && (a < b)
50. (a < b) && (b <= this.fieldOfOuterClass)
51. (a <= this.fieldOfOuterClass) && (a <= b)
52. (a <= b) && (a <= this.fieldOfOuterClass)
53. (a <= this.fieldOfOuterClass) && (a < b)
54. (a < b) && (a <= this.fieldOfOuterClass)
55. (a <= b) && (b < this.fieldOfOuterClass)
56. (b < this.fieldOfOuterClass) && (a <= b)
57. (a <= b) && (a < this.fieldOfOuterClass)
58. (a < this.fieldOfOuterClass) && (a <= b)
59. (a <= b) && (a < b)
60. (a < b) && (a <= b)
61. (b < this.fieldOfOuterClass) && (a < b)
62. (a < b) && (b < this.fieldOfOuterClass)
63. (a < this.fieldOfOuterClass) && (a < b)
64. (a < b) && (a < this.fieldOfOuterClass)
65. (b == 0) || (a <= b)
66. (a <= b) || (b == 0)
67. (b == 0) || (a < b)
68. (a < b) || (b == 0)
69. (a == 0) || (a <= b)
70. (a <= b) || (a == 0)
71. (a == 0) || (a < b)
72. (a < b) || (a == 0)
73. (b == 1) || (a <= b)
74. (a <= b) || (b == 1)
75. (b == 1) || (a < b)
76. (a < b) || (b == 1)
77. (a == 1) || (a <= b)
78. (a <= b) || (a == 1)
79. (a == 1) || (a < b)
80. (a < b) || (a == 1)
81. (this == null) || (a <= b)
82. (a <= b) || (this == null)
83. (this == null) || (a < b)
84. (a < b) || (this == null)
85. (this.fieldOfOuterClass == b) || (a <= b)
86. (a <= b) || (this.fieldOfOuterClass == b)
87. (this.fieldOfOuterClass == b) || (a < b)
88. (a < b) || (this.fieldOfOuterClass == b)
89. (this.fieldOfOuterClass == a) || (a <= b)
90. (a <= b) || (this.fieldOfOuterClass == a)
91. (this.fieldOfOuterClass == a) || (a < b)
92. (a < b) || (this.fieldOfOuterClass == a)
93. (b == this.fieldOfOuterClass) || (a <= b)
94. (a <= b) || (b == this.fieldOfOuterClass)
95. (b == this.fieldOfOuterClass) || (a < b)
96. (a < b) || (b == this.fieldOfOuterClass)
97. (b == a) || (a <= b)
98. (a <= b) || (b == a)
99. (b == a) || (a < b)
100. (a < b) || (b == a)
101. (a == this.fieldOfOuterClass) || (a <= b)
102. (a <= b) || (a == this.fieldOfOuterClass)
103. (a == this.fieldOfOuterClass) || (a < b)
104. (a < b) || (a == this.fieldOfOuterClass)
105. (a == b) || (a <= b)
106. (a <= b) || (a == b)
107. (a == b) || (a < b)
108. (a < b) || (a == b)
109. (this.fieldOfOuterClass <= b) || (a <= b)
110. (a <= b) || (this.fieldOfOuterClass <= b)
111. (this.fieldOfOuterClass <= b) || (a < b)
112. (a < b) || (this.fieldOfOuterClass <= b)
113. (this.fieldOfOuterClass <= a) || (a <= b)
114. (a <= b) || (this.fieldOfOuterClass <= a)
115. (this.fieldOfOuterClass <= a) || (a < b)
116. (a < b) || (this.fieldOfOuterClass <= a)
117. (a <= b) || (this.fieldOfOuterClass < b)
118. (this.fieldOfOuterClass < b) || (a <= b)
119. (a <= b) || (this.fieldOfOuterClass < a)
120. (this.fieldOfOuterClass < a) || (a <= b)
121. (a <= b) || (a < b)
122. (a < b) || (a <= b)
123. (this.fieldOfOuterClass < b) || (a < b)
124. (a < b) || (this.fieldOfOuterClass < b)
125. (this.fieldOfOuterClass < a) || (a < b)
126. (a < b) || (this.fieldOfOuterClass < a)
127. (b == 0) == (b <= a)
128. (b == 0) == (b < a)
129. (a == 0) == (b <= a)
130. (a == 0) == (b < a)
131. (b == 1) == (b <= a)
132. (b == 1) == (b < a)
133. (a == 1) == (b <= a)
134. (a == 1) == (b < a)
135. (this == null) == (b <= a)
136. (this == null) == (b < a)
137. (this.fieldOfOuterClass == b) == (b <= a)
138. (this.fieldOfOuterClass == b) == (b < a)
139. (this.fieldOfOuterClass == a) == (b <= a)
140. (this.fieldOfOuterClass == a) == (b < a)
141. (b == this.fieldOfOuterClass) == (b <= a)
142. (b == this.fieldOfOuterClass) == (b < a)
143. (b == a) == (b <= a)
144. (b == a) == (b < a)
145. (a == this.fieldOfOuterClass) == (b <= a)
146. (a == this.fieldOfOuterClass) == (b < a)
147. (a == b) == (b <= a)
148. (a == b) == (b < a)
149. (b != 0) == (a <= b)
150. (b != 0) == (a < b)
151. (a != 0) == (a <= b)
152. (a != 0) == (a < b)
153. (b != 1) == (a <= b)
154. (b != 1) == (a < b)
155. (a != 1) == (a <= b)
156. (a != 1) == (a < b)
157. (this != null) == (a <= b)
158. (this != null) == (a < b)
159. (this.fieldOfOuterClass != b) == (a <= b)
160. (this.fieldOfOuterClass != b) == (a < b)
161. (this.fieldOfOuterClass != a) == (a <= b)
162. (this.fieldOfOuterClass != a) == (a < b)
163. (b != this.fieldOfOuterClass) == (a <= b)
164. (b != this.fieldOfOuterClass) == (a < b)
165. (b != a) == (a <= b)
166. (b != a) == (a < b)
167. (a != this.fieldOfOuterClass) == (a <= b)
168. (a != this.fieldOfOuterClass) == (a < b)
169. (a != b) == (a <= b)
170. (a != b) == (a < b)
171. (this.fieldOfOuterClass <= b) == (b <= a)
172. (this.fieldOfOuterClass <= b) == (b < a)
173. (b <= this.fieldOfOuterClass) == (a <= b)
174. (b <= this.fieldOfOuterClass) == (a < b)
175. (this.fieldOfOuterClass <= a) == (b <= a)
176. (this.fieldOfOuterClass <= a) == (b < a)
177. (a <= this.fieldOfOuterClass) == (a <= b)
178. (a <= this.fieldOfOuterClass) == (a < b)
179. (b <= a) == (b == 0)
180. (b <= a) == (a == 0)
181. (b <= a) == (b == 1)
182. (b <= a) == (a == 1)
183. (b <= a) == (this == null)
184. (b <= a) == (this.fieldOfOuterClass == b)
185. (b <= a) == (this.fieldOfOuterClass == a)
186. (b <= a) == (b == this.fieldOfOuterClass)
187. (b <= a) == (b == a)
188. (b <= a) == (a == this.fieldOfOuterClass)
189. (b <= a) == (a == b)
190. (b <= a) == (this.fieldOfOuterClass <= b)
191. (b <= a) == (this.fieldOfOuterClass <= a)
192. (b <= a) == (this.fieldOfOuterClass < b)
193. (b <= a) == (this.fieldOfOuterClass < a)
194. (a <= b) == (b != 0)
195. (a <= b) == (a != 0)
196. (a <= b) == (b != 1)
197. (a <= b) == (a != 1)
198. (a <= b) == (this != null)
199. (a <= b) == (this.fieldOfOuterClass != b)
200. (a <= b) == (this.fieldOfOuterClass != a)
201. (a <= b) == (b != this.fieldOfOuterClass)
202. (a <= b) == (b != a)
203. (a <= b) == (a != this.fieldOfOuterClass)
204. (a <= b) == (a != b)
205. (a <= b) == (b <= this.fieldOfOuterClass)
206. (a <= b) == (a <= this.fieldOfOuterClass)
207. (a <= b) == (b < this.fieldOfOuterClass)
208. (a <= b) == (a < this.fieldOfOuterClass)
209. (this.fieldOfOuterClass < b) == (b <= a)
210. (this.fieldOfOuterClass < b) == (b < a)
211. (b < this.fieldOfOuterClass) == (a <= b)
212. (b < this.fieldOfOuterClass) == (a < b)
213. (this.fieldOfOuterClass < a) == (b <= a)
214. (this.fieldOfOuterClass < a) == (b < a)
215. (a < this.fieldOfOuterClass) == (a <= b)
216. (a < this.fieldOfOuterClass) == (a < b)
217. (b < a) == (b == 0)
218. (b < a) == (a == 0)
219. (b < a) == (b == 1)
220. (b < a) == (a == 1)
221. (b < a) == (this == null)
222. (b < a) == (this.fieldOfOuterClass == b)
223. (b < a) == (this.fieldOfOuterClass == a)
224. (b < a) == (b == this.fieldOfOuterClass)
225. (b < a) == (b == a)
226. (b < a) == (a == this.fieldOfOuterClass)
227. (b < a) == (a == b)
228. (b < a) == (this.fieldOfOuterClass <= b)
229. (b < a) == (this.fieldOfOuterClass <= a)
230. (b < a) == (this.fieldOfOuterClass < b)
231. (b < a) == (this.fieldOfOuterClass < a)
232. (a < b) == (b != 0)
233. (a < b) == (a != 0)
234. (a < b) == (b != 1)
235. (a < b) == (a != 1)
236. (a < b) == (this != null)
237. (a < b) == (this.fieldOfOuterClass != b)
238. (a < b) == (this.fieldOfOuterClass != a)
239. (a < b) == (b != this.fieldOfOuterClass)
240. (a < b) == (b != a)
241. (a < b) == (a != this.fieldOfOuterClass)
242. (a < b) == (a != b)
243. (a < b) == (b <= this.fieldOfOuterClass)
244. (a < b) == (a <= this.fieldOfOuterClass)
245. (a < b) == (b < this.fieldOfOuterClass)
246. (a < b) == (a < this.fieldOfOuterClass)
247. (b == 0) != (a <= b)
248. (b == 0) != (a < b)
249. (a == 0) != (a <= b)
250. (a == 0) != (a < b)
251. (b == 1) != (a <= b)
252. (b == 1) != (a < b)
253. (a == 1) != (a <= b)
254. (a == 1) != (a < b)
255. (this == null) != (a <= b)
256. (this == null) != (a < b)
257. (this.fieldOfOuterClass == b) != (a <= b)
258. (this.fieldOfOuterClass == b) != (a < b)
259. (this.fieldOfOuterClass == a) != (a <= b)
260. (this.fieldOfOuterClass == a) != (a < b)
261. (b == this.fieldOfOuterClass) != (a <= b)
262. (b == this.fieldOfOuterClass) != (a < b)
263. (b == a) != (a <= b)
264. (b == a) != (a < b)
265. (a == this.fieldOfOuterClass) != (a <= b)
266. (a == this.fieldOfOuterClass) != (a < b)
267. (a == b) != (a <= b)
268. (a == b) != (a < b)
269. (b != 0) != (b <= a)
270. (b != 0) != (b < a)
271. (a != 0) != (b <= a)
272. (a != 0) != (b < a)
273. (b != 1) != (b <= a)
274. (b != 1) != (b < a)
275. (a != 1) != (b <= a)
276. (a != 1) != (b < a)
277. (this != null) != (b <= a)
278. (this != null) != (b < a)
279. (this.fieldOfOuterClass != b) != (b <= a)
280. (this.fieldOfOuterClass != b) != (b < a)
281. (this.fieldOfOuterClass != a) != (b <= a)
282. (this.fieldOfOuterClass != a) != (b < a)
283. (b != this.fieldOfOuterClass) != (b <= a)
284. (b != this.fieldOfOuterClass) != (b < a)
285. (b != a) != (b <= a)
286. (b != a) != (b < a)
287. (a != this.fieldOfOuterClass) != (b <= a)
288. (a != this.fieldOfOuterClass) != (b < a)
289. (a != b) != (b <= a)
290. (a != b) != (b < a)
291. (this.fieldOfOuterClass <= b) != (a <= b)
292. (this.fieldOfOuterClass <= b) != (a < b)
293. (b <= this.fieldOfOuterClass) != (b <= a)
294. (b <= this.fieldOfOuterClass) != (b < a)
295. (this.fieldOfOuterClass <= a) != (a <= b)
296. (this.fieldOfOuterClass <= a) != (a < b)
297. (a <= this.fieldOfOuterClass) != (b <= a)
298. (a <= this.fieldOfOuterClass) != (b < a)
299. (b <= a) != (b != 0)
300. (b <= a) != (a != 0)
301. (b <= a) != (b != 1)
302. (b <= a) != (a != 1)
303. (b <= a) != (this != null)
304. (b <= a) != (this.fieldOfOuterClass != b)
305. (b <= a) != (this.fieldOfOuterClass != a)
306. (b <= a) != (b != this.fieldOfOuterClass)
307. (b <= a) != (b != a)
308. (b <= a) != (a != this.fieldOfOuterClass)
309. (b <= a) != (a != b)
310. (b <= a) != (b <= this.fieldOfOuterClass)
311. (b <= a) != (a <= this.fieldOfOuterClass)
312. (b <= a) != (b < this.fieldOfOuterClass)
313. (b <= a) != (a < this.fieldOfOuterClass)
314. (a <= b) != (b == 0)
315. (a <= b) != (a == 0)
316. (a <= b) != (b == 1)
317. (a <= b) != (a == 1)
318. (a <= b) != (this == null)
319. (a <= b) != (this.fieldOfOuterClass == b)
320. (a <= b) != (this.fieldOfOuterClass == a)
321. (a <= b) != (b == this.fieldOfOuterClass)
322. (a <= b) != (b == a)
323. (a <= b) != (a == this.fieldOfOuterClass)
324. (a <= b) != (a == b)
325. (a <= b) != (this.fieldOfOuterClass <= b)
326. (a <= b) != (this.fieldOfOuterClass <= a)
327. (a <= b) != (this.fieldOfOuterClass < b)
328. (a <= b) != (this.fieldOfOuterClass < a)
329. (this.fieldOfOuterClass < b) != (a <= b)
330. (this.fieldOfOuterClass < b) != (a < b)
331. (b < this.fieldOfOuterClass) != (b <= a)
332. (b < this.fieldOfOuterClass) != (b < a)
333. (this.fieldOfOuterClass < a) != (a <= b)
334. (this.fieldOfOuterClass < a) != (a < b)
335. (a < this.fieldOfOuterClass) != (b <= a)
336. (a < this.fieldOfOuterClass) != (b < a)
337. (b < a) != (b != 0)
338. (b < a) != (a != 0)
339. (b < a) != (b != 1)
340. (b < a) != (a != 1)
341. (b < a) != (this != null)
342. (b < a) != (this.fieldOfOuterClass != b)
343. (b < a) != (this.fieldOfOuterClass != a)
344. (b < a) != (b != this.fieldOfOuterClass)
345. (b < a) != (b != a)
346. (b < a) != (a != this.fieldOfOuterClass)
347. (b < a) != (a != b)
348. (b < a) != (b <= this.fieldOfOuterClass)
349. (b < a) != (a <= this.fieldOfOuterClass)
350. (b < a) != (b < this.fieldOfOuterClass)
351. (b < a) != (a < this.fieldOfOuterClass)
352. (a < b) != (b == 0)
353. (a < b) != (a == 0)
354. (a < b) != (b == 1)
355. (a < b) != (a == 1)
356. (a < b) != (this == null)
357. (a < b) != (this.fieldOfOuterClass == b)
358. (a < b) != (this.fieldOfOuterClass == a)
359. (a < b) != (b == this.fieldOfOuterClass)
360. (a < b) != (b == a)
361. (a < b) != (a == this.fieldOfOuterClass)
362. (a < b) != (a == b)
363. (a < b) != (this.fieldOfOuterClass <= b)
364. (a < b) != (this.fieldOfOuterClass <= a)
365. (a < b) != (this.fieldOfOuterClass < b)
366. (a < b) != (this.fieldOfOuterClass < a)
367. 0 <= (b - a)
368. (a - b) <= 0
369. 1 <= (b - a)
370. (a - b) <= 1
371. (a + 1) <= b
372. (a - 0) <= b
373. (a - 1) <= b
374. a <= (b + 1)
375. a <= (b - 0)
376. a <= (b - 1)
377. (a + 1) <= (b + 1)
378. (a - 0) <= (b + 1)
379. (a + 1) <= (b - 0)
380. (a + 1) <= (b - 1)
381. (this.fieldOfOuterClass + a) <= (this.fieldOfOuterClass + b)
382. (a + this.fieldOfOuterClass) <= (this.fieldOfOuterClass + b)
383. (this.fieldOfOuterClass + a) <= (b + this.fieldOfOuterClass)
384. (a + this.fieldOfOuterClass) <= (b + this.fieldOfOuterClass)
385. (b + a) <= (b + b)
386. (a + b) <= (b + b)
387. (a + a) <= (b + b)
388. (a + a) <= (b + a)
389. (a + a) <= (a + b)
390. (a - 0) <= (b - 0)
391. (a - 1) <= (b - 0)
392. (a - 0) <= (b - 1)
393. (1 - b) <= (1 - a)
394. (a - 1) <= (b - 1)
395. (this.fieldOfOuterClass - b) <= (this.fieldOfOuterClass - a)
396. (a - this.fieldOfOuterClass) <= (b - this.fieldOfOuterClass)
397. (a - b) <= (b - a)
398. (0 / b) <= (b - a)
399. (0 / a) <= (b - a)
400. (b / this.fieldOfOuterClass) <= (b - a)
401. (a / this.fieldOfOuterClass) <= (b - a)
402. (b / a) <= (b - a)
403. (a / b) <= (b - a)
404. (a - b) <= (0 / b)
405. (a - b) <= (0 / a)
406. (a - b) <= (b / this.fieldOfOuterClass)
407. (a - b) <= (a / this.fieldOfOuterClass)
408. (this.fieldOfOuterClass * a) <= (this.fieldOfOuterClass * b)
409. (a * this.fieldOfOuterClass) <= (this.fieldOfOuterClass * b)
410. (this.fieldOfOuterClass * a) <= (b * this.fieldOfOuterClass)
411. (a * this.fieldOfOuterClass) <= (b * this.fieldOfOuterClass)
412. 0 < (b - a)
413. (a - b) < 0
414. 1 < (b - a)
415. (a - b) < 1
416. (a + 1) < b
417. (a - 0) < b
418. (a - 1) < b
419. a < (b + 1)
420. a < (b - 0)
421. a < (b - 1)
422. (a + 1) < (b + 1)
423. (a - 0) < (b + 1)
424. (a - 1) < (b + 1)
425. (a + 1) < (b - 0)
426. (this.fieldOfOuterClass + a) < (this.fieldOfOuterClass + b)
427. (a + this.fieldOfOuterClass) < (this.fieldOfOuterClass + b)
428. (this.fieldOfOuterClass + a) < (b + this.fieldOfOuterClass)
429. (a + this.fieldOfOuterClass) < (b + this.fieldOfOuterClass)
430. (b + a) < (b + b)
431. (a + b) < (b + b)
432. (a + a) < (b + b)
433. (a + a) < (b + a)
434. (a + a) < (a + b)
435. (a - 0) < (b - 0)
436. (a - 1) < (b - 0)
437. (a - 0) < (b - 1)
438. (1 - b) < (1 - a)
439. (a - 1) < (b - 1)
440. (this.fieldOfOuterClass - b) < (this.fieldOfOuterClass - a)
441. (a - this.fieldOfOuterClass) < (b - this.fieldOfOuterClass)
442. (a - b) < (b - a)
443. (0 / b) < (b - a)
444. (0 / a) < (b - a)
445. (b / this.fieldOfOuterClass) < (b - a)
446. (a / this.fieldOfOuterClass) < (b - a)
447. (a - b) < (0 / b)
448. (a - b) < (0 / a)
449. (a - b) < (b / this.fieldOfOuterClass)
450. (a - b) < (a / this.fieldOfOuterClass)
451. (a - b) < (b / a)
452. (a - b) < (a / b)
453. (this.fieldOfOuterClass * a) < (this.fieldOfOuterClass * b)
454. (a * this.fieldOfOuterClass) < (this.fieldOfOuterClass * b)
455. (this.fieldOfOuterClass * a) < (b * this.fieldOfOuterClass)
456. (a * this.fieldOfOuterClass) < (b * this.fieldOfOuterClass)


========================
         Stat
========================
Operators: 
MINUS 1
LT 1
Methods: 
Variable: 
a 2
b 2

 & 4 & 0 & 0 & 3 & 7 & 34398 & 787 ms & 7 &
04:39:16.324 [pool-331-thread-1] DEBUG f.i.l.r.n.s.d.DynamothSynthesizer - Collected 0 potential patches
04:39:16.331 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL a <= b
04:39:16.445 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "a <= b" is working
04:39:16.455 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL a < b
04:39:16.581 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "a < b" is working
04:39:16.587 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b != 0) && (a <= b)
04:39:16.688 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b != 0) && (a <= b)" is working
04:39:16.697 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (a <= b) && (b != 0)
04:39:16.787 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a <= b) && (b != 0)" is working
04:39:16.797 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b != 0) && (a < b)
04:39:16.912 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b != 0) && (a < b)" is working
04:39:16.918 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (a < b) && (b != 0)
04:39:17.007 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a < b) && (b != 0)" is working
04:39:17.020 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (a != 0) && (a <= b)
04:39:17.104 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a != 0) && (a <= b)" is working
04:39:17.110 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (a <= b) && (a != 0)
04:39:17.237 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a <= b) && (a != 0)" is working
04:39:17.258 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (a != 0) && (a < b)
04:39:17.339 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a != 0) && (a < b)" is working
04:39:17.347 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (a < b) && (a != 0)
04:39:17.414 [pool-331-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a < b) && (a != 0)" is working
04:39:17.423 [pool-331-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped 446 patches for sake of performance
04:39:17.423 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:17.423 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:12 which is executed by 4 tests
-126608641
04:39:17.506 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:17.507 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:14 which is executed by 5 tests
-126608641
04:39:17.562 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:17.563 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:17.564 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:17.564 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 5
04:39:17.564 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 3
04:39:17.565 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 4086ms
04:39:17.565 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:17.565 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:17.566 [main] INFO  fr.inria.lille.repair.nopol.NoPol - a <= b
04:39:17.566 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.567 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.568 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( a <= b){ // Fix a < b
 			return b;

04:39:17.569 [main] INFO  fr.inria.lille.repair.nopol.NoPol - a < b
04:39:17.572 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.572 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.573 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( a < b){ // Fix a < b
 			return b;

04:39:17.574 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (b != 0) && (a <= b)
04:39:17.574 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.575 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.576 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (b != 0) && (a <= b)){ // Fix a < b
 			return b;

04:39:17.577 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (a <= b) && (b != 0)
04:39:17.578 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.579 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.584 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (a <= b) && (b != 0)){ // Fix a < b
 			return b;

04:39:17.585 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (b != 0) && (a < b)
04:39:17.586 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.586 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.589 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (b != 0) && (a < b)){ // Fix a < b
 			return b;

04:39:17.589 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (a < b) && (b != 0)
04:39:17.590 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.590 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.593 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (a < b) && (b != 0)){ // Fix a < b
 			return b;

04:39:17.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (a != 0) && (a <= b)
04:39:17.595 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.596 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.597 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (a != 0) && (a <= b)){ // Fix a < b
 			return b;

04:39:17.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (a <= b) && (a != 0)
04:39:17.600 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.600 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.602 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (a <= b) && (a != 0)){ // Fix a < b
 			return b;

04:39:17.603 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (a != 0) && (a < b)
04:39:17.604 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.605 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.607 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (a != 0) && (a < b)){ // Fix a < b
 			return b;

04:39:17.607 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (a < b) && (a != 0)
04:39:17.608 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:17.609 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:17.611 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (a < b) && (a != 0)){ // Fix a < b
 			return b;

04:39:17.626 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:17.626 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:17.626 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:17.626 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:17.626 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@17cb39d2', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:17.626 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:17.626 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 96 MB
04:39:17.627 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:17.627 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 203 MB
04:39:17.627 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:17.627 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:17.627 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:19.457 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:19.457 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:19.503 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:19.503 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:19.543 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:19.654 [pool-449-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:19.654 [pool-449-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:19.654 [pool-449-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:19.654 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:19.654 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:19.713 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:19.950 [pool-455-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:19.971 [pool-455-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:20.041 [pool-455-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:20.041 [pool-455-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:20.099 [pool-455-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:20.107 [pool-455-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:20.107 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 7
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 4
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2481ms
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:20.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:20.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:20.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:20.110 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
 		
-		if ( index == 0 ) // Fix index <= 0
-			return s.charAt(0);
+		if ( index < 0) // Fix index <= 0
+		return s.charAt(0);
 		

04:39:20.118 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:20.118 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:20.118 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:20.118 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@8c6bde5', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 60 MB
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 203 MB
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:20.119 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:21.822 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:21.822 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:21.878 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:22.105 [pool-495-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:22.118 [pool-495-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:22.178 [pool-495-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
04:39:22.178 [pool-495-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
04:39:22.253 [pool-495-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
04:39:22.258 [pool-495-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 8
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 5
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2141ms
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:22.259 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:22.260 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( 1 < (b - a)){ // Fix a < b
 			return b;

04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_3]
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_3.NopolExampleTest]
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_3], projectClasspath='[Ljava.net.URL;@581dd76f', projectTests=[nopol_examples.nopol_example_3.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 88 MB
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 205 MB
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:22.267 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:24.036 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:24.037 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:11 which is executed by 9 tests
-126608641
04:39:24.075 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:24.242 [pool-539-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:24.264 [pool-539-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:24.305 [pool-539-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == tmp
04:39:24.305 [pool-539-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 0 == tmp
04:39:24.370 [pool-539-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "0 == tmp" is working
04:39:24.408 [pool-539-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:24.408 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:24.409 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:24.409 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 3
04:39:24.409 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 9
04:39:24.409 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 6
04:39:24.409 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 9
04:39:24.409 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:24.409 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:24.410 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:24.410 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 12
04:39:24.410 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2141ms
04:39:24.410 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:24.410 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:24.410 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 0 == tmp
04:39:24.410 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:24.411 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL
04:39:24.411 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java
@@ -10,3 +10,3 @@
 		
-		if ( tmp != 0 ){ // Fix : tmp == 0
+		if ( 0 == tmp){ // Fix : tmp == 0
 			return true;

04:39:24.421 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:24.421 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:24.421 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: PRECONDITION
04:39:24.421 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:24.421 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRECONDITION, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@3dd8a586', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:24.421 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:24.421 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 130 MB
04:39:24.422 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:24.422 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 205 MB
04:39:24.422 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:24.422 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:24.422 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:26.008 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:26.008 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:26.072 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:26.072 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:26.148 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:26.349 [pool-587-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:26.366 [pool-587-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:26.394 [pool-587-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:26.394 [pool-587-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:26.466 [pool-587-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:26.474 [pool-587-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 10
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 7
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:26.474 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2053ms
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:26.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
 		// FIX : precondition missing : if ( -1<a  )
-		r = -1;				
+		if (-1 < a) {
+			r = -1;
+		}
 		return r*a;		

04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_6]
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_6.NopolExampleTest]
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_6], projectClasspath='[Ljava.net.URL;@48a54aee', projectTests=[nopol_examples.nopol_example_6.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 43 MB
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 205 MB
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:26.482 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:28.116 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:28.116 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_6.NopolExample:7 which is executed by 6 tests
-126608641
04:39:28.159 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:28.336 [pool-615-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:28.351 [pool-615-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:28.381 [pool-615-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: a < b
04:39:28.381 [pool-615-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL a < b
04:39:28.447 [pool-615-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "a < b" is working
04:39:28.454 [pool-615-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 11
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 8
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1972ms
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - a < b
04:39:28.454 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:28.455 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL
04:39:28.455 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_6/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_6/NopolExample.java
@@ -6,3 +6,3 @@
 	{
-		if (a > b) { // FIX: if(a < b)
+		if (a < b) { // FIX: if(a < b)
 			return b - a;

04:39:28.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_7]
04:39:28.475 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_7.NopolExampleTest]
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_7], projectClasspath='[Ljava.net.URL;@1cc8247b', projectTests=[nopol_examples.nopol_example_7.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 90 MB
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 203 MB
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:28.476 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:30.251 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:30.251 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:22 which is executed by 4 tests
-126608641
04:39:30.303 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:30.304 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:21 which is executed by 30 tests
-126608641
04:39:30.333 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:30.485 [pool-646-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:30.510 [pool-646-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:30.612 [pool-646-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:39:30.824 [pool-646-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (intermediaire == 0) && (3 < a)
04:39:30.824 [pool-646-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL (intermediaire == 0) && (3 < a)
04:39:30.923 [pool-646-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(intermediaire == 0) && (3 < a)" is working
04:39:30.944 [pool-646-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:30.944 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 12
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 9
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 26
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 3
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [7] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2]
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 7
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 9
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2469ms
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (intermediaire == 0) && (3 < a)
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 30
04:39:30.945 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL
04:39:30.946 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java
@@ -20,4 +20,4 @@
 		// FIX if ( intermediaire == 0 && a!=2)
-		if ( intermediaire == 0 )
-			return false;
+		if ( (intermediaire == 0) && (3 < a))
+		return false;
 		

04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_8]
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_8.NopolExampleTest]
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_8], projectClasspath='[Ljava.net.URL;@3233e56b', projectTests=[nopol_examples.nopol_example_8.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 107 MB
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 202 MB
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:30.952 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:32.504 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:32.504 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:15 which is executed by 5 tests
-126608641
04:39:32.715 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:32.716 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:12 which is executed by 10 tests
-126608641
04:39:32.748 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:32.921 [pool-766-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:32.932 [pool-766-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:32.986 [pool-766-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (a * b) <= 100
04:39:32.986 [pool-766-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL (a * b) <= 100
04:39:33.044 [pool-766-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a * b) <= 100" is working
04:39:33.053 [pool-766-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 13
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 10
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 10
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 10
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2102ms
04:39:33.054 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:33.055 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:33.055 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (a * b) <= 100
04:39:33.056 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 10
04:39:33.056 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL
04:39:33.056 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java
@@ -11,4 +11,4 @@
 		// if ( a * b <= 100) // FIX
-		if ( a * b < 100)
-			return true;
+		if ( (a * b) <= 100)
+		return true;
 		

04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@2801498f', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 58 MB
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 233 MB
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:33.057 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:33.104 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:33.105 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:33.105 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:33.106 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:33.107 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@2801498f', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:33.107 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:33.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 153 MB
04:39:33.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:33.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 234 MB
04:39:33.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:33.110 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:33.110 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:34.702 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:34.702 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:34.769 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:34.975 [pool-809-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:34.987 [pool-809-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:35.011 [pool-809-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (b - a) == 2
04:39:35.011 [pool-809-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b - a) == 2
04:39:35.083 [pool-809-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b - a) == 2" is working
04:39:35.087 [pool-809-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 14
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 11
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 2
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:35.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1984ms
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - (b - a) == 2
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:35.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( (b - a) == 2){ // Fix a < b
 			return b;

04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRE_THEN_COND, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@1ca87deb', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 68 MB
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 235 MB
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:35.095 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:36.753 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:36.753 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:36.796 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:36.797 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:36.837 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:36.975 [pool-828-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:36.986 [pool-828-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:37.011 [pool-828-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:37.011 [pool-828-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:37.074 [pool-828-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:37.087 [pool-828-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 15
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 12
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1992ms
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:37.087 [main] INFO  fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:37.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:37.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:37.088 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
 		// FIX : precondition missing : if ( -1<a  )
-		r = -1;				
+		if (-1 < a) {
+			r = -1;
+		}
 		return r*a;		

04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@5cd04ea8', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 89 MB
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 235 MB
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:37.089 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:38.739 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:38.739 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:38.782 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:38.952 [pool-855-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:38.972 [pool-855-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:39.026 [pool-855-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
04:39:39.026 [pool-855-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
04:39:39.102 [pool-855-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
04:39:39.108 [pool-855-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:39.108 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 16
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 13
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2019ms
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:39.109 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:39.110 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
 	public int getMax(int a, int b){
-		if ( (b - a) < 0 ){ // Fix a < b
+		if ( 1 < (b - a)){ // Fix a < b
 			return b;

04:39:39.115 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:39.115 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:39.115 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
04:39:39.115 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=COND_THEN_PRE, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@6b44fde', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 108 MB
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 235 MB
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:39.116 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:40.814 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:40.815 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:40.858 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:40.975 [pool-899-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:40.975 [pool-899-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:40.975 [pool-899-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16.
04:39:40.975 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:40.975 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:41.011 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:41.129 [pool-905-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:41.129 [pool-905-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:41.129 [pool-905-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:41.129 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:41.224 [pool-911-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:41.225 [pool-911-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:41.225 [pool-911-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:41.225 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:41.225 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:41.263 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:41.441 [pool-917-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:41.453 [pool-917-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:41.517 [pool-917-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:41.517 [pool-917-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:41.585 [pool-917-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:41.593 [pool-917-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:41.593 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 20
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 14
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2478ms
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:41.594 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
 		
-		if ( index == 0 ) // Fix index <= 0
-			return s.charAt(0);
+		if ( index < 0) // Fix index <= 0
+		return s.charAt(0);
 		

04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@3a3b357c', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 124 MB
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 239 MB
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:41.599 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:43.214 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:43.214 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:43.256 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:43.256 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:43.291 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:43.377 [pool-957-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:43.377 [pool-957-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:43.377 [pool-957-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:43.378 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:43.378 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:43.414 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:43.610 [pool-963-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:43.623 [pool-963-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:43.671 [pool-963-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:43.671 [pool-963-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:43.671 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 22
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 15
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2072ms
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:43.672 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:43.674 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
 		
-		if ( index == 0 ) // Fix index <= 0
-			return s.charAt(0);
+		if ( index < 0) // Fix index <= 0
+		return s.charAt(0);
 		

04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRE_THEN_COND, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@6e1c88d', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 132 MB
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 240 MB
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:43.680 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:43.681 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:45.496 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:45.496 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:45.555 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:45.678 [pool-994-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:45.679 [pool-994-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:45.679 [pool-994-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16.
04:39:45.679 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:45.679 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:45.713 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:45.796 [pool-1000-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:45.797 [pool-1000-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:45.797 [pool-1000-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:45.797 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:45.930 [pool-1006-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:45.930 [pool-1006-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:45.930 [pool-1006-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:45.930 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:45.930 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:45.962 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:46.067 [pool-1012-thread-1] DEBUG tests.output - Failing tests with false: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:46.067 [pool-1012-thread-1] DEBUG tests.output - Failing tests with true: 
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:46.067 [pool-1012-thread-1] INFO  f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:12.
04:39:46.067 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:46.265 [pool-1018-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:46.277 [pool-1018-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:46.322 [pool-1018-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:46.322 [pool-1018-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:46.391 [pool-1018-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:46.397 [pool-1018-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 27
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 16
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:46.397 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2717ms
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:46.398 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
 		
-		if ( index == 0 ) // Fix index <= 0
-			return s.charAt(0);
+		if ( index < 0) // Fix index <= 0
+		return s.charAt(0);
 		

04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=COND_THEN_PRE, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@5e4fb7cf', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 125 MB
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 240 MB
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:46.402 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:47.965 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:47.965 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:48.023 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:48.023 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:48.057 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:48.212 [pool-1058-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:48.222 [pool-1058-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:48.256 [pool-1058-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:48.257 [pool-1058-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:48.344 [pool-1058-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:48.370 [pool-1058-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 28
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 17
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:48.370 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1968ms
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:48.371 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
 		// FIX : precondition missing : if ( -1<a  )
-		r = -1;				
+		if (-1 < a) {
+			r = -1;
+		}
 		return r*a;		

Tests run: 16, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 34.893 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.196 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
04:39:48.599 [main] WARN  f.i.l.c.s.smt.SMTLibEqualVisitor - Empty implementation of fr.inria.lille.commons.synthesis.smt.SMTLibEqualVisitor.visit(IApplication)
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.027 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec
Running fr.inria.lille.commons.trace.ValuesCollectorTest
Collected variables [aBoolean, reachableVariable]
Expected variables [aBoolean, reachableVariable]
Getters: {}
Collected variables [index, word, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Expected variables [word, index, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Getters: {infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer=[getConsumed, getSize]}
Collected variables [nested.privateInstanceField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.this.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, nested, nested.protectedInstanceField, nested.publicInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.publicStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, comparable, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField]
Expected variables [comparable, nested, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.publicStaticField, nested.publicInstanceField, nested.protectedInstanceField, nested.privateInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField]
Getters: {}
Collected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Expected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Getters: {}
04:39:49.043 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:49.053 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:49.078 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:39:49.208 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:49.462 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:13.784 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
04:40:13.927 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:13.945 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:13.977 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 <= a
Collected variables [a, b]
Expected variables [a, b]
Getters: {}
Collected variables [11, (!(a < b)), 0, a, (a * b), b, -b, ((a * b) < 11), (a < b)]
Expected variables [0, 11, a, b, -b, (a * b), (a < b), (!(a < b)), ((a * b) < 11)]
Getters: {}
Collected variables [spoon.example.ClassToSpoon.privateStaticField, nested2.protectedInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.protectedStaticField, comparable.privateNestedInstanceField, nested2, comparable.publicNestedInstanceField, nested2.privateInstanceField, nested2.publicInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.publicStaticField, spoon.example.ClassToSpoon.this.privateInstanceField, comparable]
Expected variables [comparable, nested2, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.publicStaticField, nested2.privateInstanceField, nested2.publicInstanceField, nested2.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField]
Getters: {}
Collected variables [aBoolean, nopol_examples.nopol_example_2.NopolExample.InnerNopolExample.this.fieldOfInnerClass, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Expected variables [aBoolean, nopol_examples.nopol_example_2.NopolExample.InnerNopolExample.this.fieldOfInnerClass, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Getters: {}
Collected variables [index, nopol_examples.nopol_example_1.NopolExample.s, s, nopol_examples.nopol_example_1.NopolExample.this.index]
Expected variables [s, index, nopol_examples.nopol_example_1.NopolExample.this.index, nopol_examples.nopol_example_1.NopolExample.s]
Getters: {}
Collected variables [a, b, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Expected variables [b, a, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Getters: {}
Collected variables [a, tmp]
Expected variables [a, tmp]
Getters: {}
Collected variables [a, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass, r]
Expected variables [r, a, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass]
Getters: {}
Collected variables [a, b]
Expected variables [a, b]
Getters: {}
Collected variables [stringParameter]
Expected variables [stringParameter]
Getters: {}
Tests run: 26, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 26.198 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
04:40:14.817 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:14.831 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0
04:40:14.852 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:14.885 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
?: of arity: 3
04:40:14.911 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == ((cond)?(size):(0))
04:40:14.916 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:14.927 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length
04:40:14.932 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:14.951 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: value == letter
04:40:14.955 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:14.978 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
+ of arity: 2
- of arity: 2
04:40:15.058 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: q + p <= n
04:40:15.067 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
+ of arity: 2
- of arity: 2
04:40:15.082 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length + iterations
04:40:15.091 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:15.110 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: iterations <= array.length
04:40:15.115 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
04:40:15.129 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
+ of arity: 2
- of arity: 2
04:40:15.168 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (((isEmpty)?(iterations):(array.length))) - (1)
Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.364 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.038 sec
Running fr.inria.lille.commons.synthesis.LocationVariableContainerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec
Running fr.inria.lille.commons.synthesis.LocationVariableTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec
Running fr.inria.lille.commons.synthesis.OperatorTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec
Running fr.inria.lille.evo.TestPatchEvo
04:40:15.232 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:15.232 [main] DEBUG fr.inria.lille.evo.Main -  ##### launch nopol without new tests ##### 
04:40:15.232 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:40:15.232 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:40:15.232 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:40:15.232 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@783a77dd
04:40:15.234 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:40:15.234 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:40:15.234 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:40:15.234 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest]
04:40:15.234 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest], projectClasspath='[Ljava.net.URL;@6c238433', projectTests=[evo_examples.evo_example_1.EvoExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:40:15.234 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:40:15.235 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 92 MB
04:40:15.235 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:40:15.236 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 238 MB
04:40:15.236 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:40:15.236 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:40:15.236 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:40:17.427 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:40:17.428 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
04:40:17.467 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:40:17.467 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 5 tests
1314309581
04:40:17.498 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:40:17.622 [pool-1085-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:17.633 [pool-1085-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:17.655 [pool-1085-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < -1
04:40:17.655 [pool-1085-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:17.732 [pool-1085-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < -1" is working
04:40:17.742 [pool-1085-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:40:17.742 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:40:17.748 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 60
04:40:17.748 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 285
04:40:17.748 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 29
04:40:17.748 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 18
04:40:17.748 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
04:40:17.748 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:40:17.751 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:40:17.751 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:40:17.752 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:40:17.752 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2508ms
04:40:17.752 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:40:17.752 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:40:17.752 [main] INFO  fr.inria.lille.repair.nopol.NoPol - number < -1
04:40:17.752 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 5
04:40:17.752 [main] INFO  fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
04:40:17.755 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
 		
-		if(number <= 1){
+		if(number < -1){
 			return 0;

04:40:17.756 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
04:40:17.756 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:17.756 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:17.757 [main] DEBUG fr.inria.lille.evo.Main -  ##### Search tests files path ##### 
04:40:17.880 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] evo_examples.evo_example_1.EvoExampleGeneratedTest
04:40:17.880 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:17.880 [main] DEBUG fr.inria.lille.evo.Main -  ##### Search tests methods ##### 
04:40:17.999 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_1()
04:40:17.999 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_0()
04:40:17.999 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
04:40:18.000 [main] DEBUG fr.inria.lille.evo.Main - ######## start to try each methods ########
04:40:18.000 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
04:40:18.000 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:18.000 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_1()
04:40:18.000 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:18.000 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite &  Recompile Tests 
04:40:18.284 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
04:40:18.284 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:40:18.284 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:40:18.284 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:40:18.284 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@190b8989
04:40:18.286 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:40:18.286 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:40:18.286 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:40:18.286 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
04:40:18.286 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest], projectClasspath='[Ljava.net.URL;@4b40dcfb', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
04:40:18.287 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:40:18.287 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 94 MB
04:40:18.287 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:40:18.287 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 238 MB
04:40:18.287 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:40:18.288 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:40:18.288 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:40:20.232 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:40:20.232 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 4 tests
1314309581
04:40:20.264 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:40:20.264 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
04:40:20.293 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:40:20.425 [pool-1107-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:20.435 [pool-1107-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:20.465 [pool-1107-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:20.573 [pool-1107-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:21.146 [pool-1107-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:53.497 [pool-1107-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
04:40:53.499 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:40:53.514 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
04:40:53.514 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
04:40:53.514 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 30
04:40:53.514 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 19
04:40:53.514 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
04:40:53.521 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 5
04:40:53.522 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [14] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2, == of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2]
04:40:53.522 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 14
04:40:53.522 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:40:53.522 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 35212ms
04:40:53.522 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:40:53.523 [main] DEBUG fr.inria.lille.evo.Main - ### ----- NO PATCH FOUND -----
04:40:53.523 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD REMOVED : test_evo_example_generated_1()
04:40:53.524 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:53.524 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:40:53.524 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:53.526 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_0()
04:40:53.526 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:53.526 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite &  Recompile Tests 
04:40:53.793 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
04:40:53.794 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:40:53.794 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:40:53.794 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:40:53.794 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@190b8989
04:40:53.796 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:40:53.796 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:40:53.796 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:40:53.796 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
04:40:53.798 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest], projectClasspath='[Ljava.net.URL;@5677d370', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
04:40:53.798 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:40:53.798 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Free memory: 98 MB
04:40:53.798 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Maximum memory: 444 MB
04:40:53.798 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 237 MB
04:40:53.799 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:40:53.799 [main] INFO  fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:40:53.799 [main] INFO  fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:40:55.924 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:40:55.924 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
04:40:56.002 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:40:56.002 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
04:40:56.038 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:40:56.181 [pool-1127-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:56.194 [pool-1127-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:56.224 [pool-1127-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < 1
04:40:56.224 [pool-1127-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:40:56.309 [pool-1127-thread-1] INFO  f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < 1" is working
04:40:56.315 [pool-1127-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Skipped -9 patches for sake of performance
04:40:56.315 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 31
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 20
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol -                   class java.lang.Boolean: 4
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2519ms
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - 
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - number < 1
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:40:56.321 [main] INFO  fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
04:40:56.323 [main] INFO  fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
 		
-		if(number <= 1){
+		if(number < 1){
 			return 0;

04:40:56.324 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
04:40:56.324 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:40:56.324 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD KEPT : test_evo_example_generated_0()
04:40:56.324 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:56.324 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:40:56.324 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:40:56.324 [main] DEBUG fr.inria.lille.evo.Main - ### End of program. Recompile keeping all good tests
04:40:56.487 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:56.488 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:40:56.488 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1] basic
[] test_evo_example_generated_1
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1] test_evo_example_generated_0
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 41.294 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.514 sec

Results :

Tests run: 368, Failures: 0, Errors: 0, Skipped: 11

[INFO] 
[INFO] --- jacoco-maven-plugin:0.8.3:report (report) @ nopol ---
[INFO] Loading execution data file /builds/workspace/nopol/nopol/target/jacoco.exec
[INFO] Analyzed bundle 'Nopol' with 339 classes
[INFO] 
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ nopol ---
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-assembly-plugin:2.4:single (create-my-bundle) @ nopol ---
Adding org.apache.maven.shared.invoker.Invokerdefault
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar
Component: org.apache.maven.shared.invoker.Invokerdefault is already defined. Skipping.
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 02:27 min
[INFO] Finished at: 2020-01-19T10:41:08+01:00
[INFO] Final Memory: 35M/218M
[INFO] ------------------------------------------------------------------------
Recording test results
No mail will be sent out, as 'nopol #728' does not have a result yet. Please make sure you set a proper result in case of pipeline/build scripts.
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
Finished: SUCCESS