1.23
2.0
main
test-branch
|
Last change
on this file since afc300c was 73090b5, checked in by Matthew B. Dwyer <matthewbdwyer@…>, 10 years ago |
|
This commit implements a set of finer distinctions among error states in order to suppress redundant error reports. Errors of a different kind are never equivalent. Currently command line option "-errorStateEquiv" can control the equivalence based on the source location of the error (LOC), the call stacks of the processes (CALLSTACK), and the full trace (FULL). The default is "LOC" which is the prior default.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@2805 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
336 bytes
|
| Line | |
|---|
| 1 | #include <assert.h>
|
|---|
| 2 |
|
|---|
| 3 | #ifdef _CIVL
|
|---|
| 4 |
|
|---|
| 5 | #include <civlc.cvh>
|
|---|
| 6 |
|
|---|
| 7 | $input int x;
|
|---|
| 8 | $input int y;
|
|---|
| 9 |
|
|---|
| 10 | #else
|
|---|
| 11 |
|
|---|
| 12 | int x = 1;
|
|---|
| 13 | int y = 1;
|
|---|
| 14 |
|
|---|
| 15 | #endif
|
|---|
| 16 |
|
|---|
| 17 | void baz(int x) {
|
|---|
| 18 | assert (x == 0);
|
|---|
| 19 | }
|
|---|
| 20 |
|
|---|
| 21 | void foo(int x) {
|
|---|
| 22 | baz(x);
|
|---|
| 23 | }
|
|---|
| 24 |
|
|---|
| 25 | void bar(int x) {
|
|---|
| 26 | baz(x);
|
|---|
| 27 | }
|
|---|
| 28 |
|
|---|
| 29 | int main() {
|
|---|
| 30 | int z = 0;
|
|---|
| 31 |
|
|---|
| 32 | if (x > 0) z = x;
|
|---|
| 33 | if (y > 0) z = y;
|
|---|
| 34 | if (x > 0) foo(z);
|
|---|
| 35 | if (y > 0) bar(z);
|
|---|
| 36 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
