source: CIVL/examples/fortran/badExamples/CIVLREP/badIndex_0.trace@ f43fdda

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since f43fdda was 9247be0, checked in by Wenhao Wu <wuwenhao@…>, 11 years ago

To delete an old test, and add two more bad examples for "divided by zero" and "index out of bound"

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@2826 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 680 bytes
Line 
1Session name....... badIndex
2Directory.......... CIVLREP
3Date............... Thu Jan 07 03:46:02 CST 2016
4Trace ID........... 0
5Violation number....... 0
6
7== Begin Violation Message ==
8Violation 0[length=2, file=CIVLREP/badIndex_0.trace]:
9CIVL execution violation in p0 (id = 0) (kind: DEREFERENCE, certainty: PROVEABLE)
10at badIndex.F:5.1-16 "ARRAY":
11Illegal pointer dereference: Array index out of bounds in method arrayRead.
12array: X_s1v2p0
13extent: 10
14index: 10
15
16Call stacks:
17process p0 (id=0):
18 _CIVL_system at badIndex.F:5.1-16 "ARRAY"
19
20== End Violation Message ==
21
22== Begin Configuration ==
23badIndex.F
24== End Configuration ==
25
26== Begin Trace ==
27LENGTH = 2
28== End Trace ==
Note: See TracBrowser for help on using the repository browser.