Context Navigation

badDivideZero_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

File size: 645 bytes

Line
1	Session name....... badDivideZero
2	Directory.......... CIVLREP
3	Date............... Thu Jan 07 03:44:29 CST 2016
4	Trace ID........... 0
5	Violation number....... 0
6
7	== Begin Violation Message ==
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	== End Violation Message ==
18
19	== Begin Configuration ==
20	badDivideZero.F
21	== End Configuration ==
22
23	== Begin Trace ==
24	LENGTH = 1
25	== End Trace ==

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