Context Navigation

badDivideZero_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: 494 bytes

Line
1	Session name....... badDivideZero
2	Directory.......... CIVLREP
3	Date............... Thu Jan 07 03:44:29 CST 2016
4	numErrors.......... 1
5	numDistinctErrors.. 1
6	search truncated... true
7
8	Violation 0[length=1, file=CIVLREP/badDivideZero_0.trace]:
9	CIVL execution violation in p0 (id = 0) (kind: DIVISION_BY_ZERO, certainty: PROVEABLE)
10	at badDivideZero.F:5.6-38 "RESULT":
11	division by zero where divisor: DENOMINATOR=0
12
13	Call stacks:
14	process p0 (id=0):
15	_CIVL_system at badDivideZero.F:5.6-38 "RESULT"
16
17

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