Context Navigation

badIndex_log.txt@ 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

File size: 534 bytes

Line
1	Session name....... badIndex
2	Directory.......... CIVLREP
3	Date............... Thu Jan 07 03:46:02 CST 2016
4	numErrors.......... 1
5	numDistinctErrors.. 1
6	search truncated... true
7
8	Violation 0[length=2, file=CIVLREP/badIndex_0.trace]:
9	CIVL execution violation in p0 (id = 0) (kind: DEREFERENCE, certainty: PROVEABLE)
10	at badIndex.F:5.1-16 "ARRAY":
11	Illegal pointer dereference: Array index out of bounds in method arrayRead.
12	array: X_s1v2p0
13	extent: 10
14	index: 10
15
16	Call stacks:
17	process p0 (id=0):
18	_CIVL_system at badIndex.F:5.1-16 "ARRAY"
19
20

Note: See TracBrowser for help on using the repository browser.