source: CIVL/examples/compare/provesa/CIVLREP/Composite_driver_driver_log.txt@ bd6628e

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since bd6628e was 4d61ad0, checked in by Ziqing Luo <ziqing@…>, 9 years ago

Merge Yihao's branch for fixing compare combiner. It adds provesa examples in CIVL

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@4272 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 928 bytes
Line 
1Session name....... Composite_driver_driver
2Directory.......... CIVLREP
3Date............... Mon May 08 15:49:28 EDT 2017
4numErrors.......... 1
5numDistinctErrors.. 1
6search truncated... true
7
8Violation 0[length=281, file=CIVLREP/Composite_driver_driver_0.trace]:
9CIVL execution violation in p0 (kind: DEREFERENCE, certainty: MAYBE)
10at adic_driver.c:31.2-19 "our_rev_mode.plain":
11attempt to write to a memory location through the pointer &<d2>our_rev_mode.plain which can't be dereferenced
12
13Input:
14 global_x=X_global_x
15Context:
16 0<=(SIZEOF(382)-1)
17 0<=(((X_global_x[1]+(-2*X_global_x[2])+X_global_x[0])*(X_global_x[3]+(-1*X_global_x[4])))+((X_global_x[1]+(-1*X_global_x[0]))*(X_global_x[3]+X_global_x[4]+(-2*X_global_x[5])))+(50/2886751345948129))
18Call stacks:
19process 0:
20 g_fcn at adic_driver.c:31.2-19 "our_rev_mode.plain" called from
21 system_impl at driver.c:39.11-15 "g_fcn" called from
22 main at driver.c:27.0-2 "int"
23
24
Note: See TracBrowser for help on using the repository browser.