source:
CIVL/examples/tickets/ticket_919_char_to_int_cast1.cvl@
cc8e265
| Last change on this file since cc8e265 was 1a2d69f, checked in by , 7 years ago | |
|---|---|
|
|
| File size: 123 bytes | |
| Line | |
|---|---|
| 1 | typedef struct { |
| 2 | char c; |
| 3 | $scope s; |
| 4 | } T; |
| 5 | |
| 6 | int main() { |
| 7 | T y, x; |
| 8 | |
| 9 | $havoc(&x); |
| 10 | $havoc(&y); |
| 11 | $assert(x.c == y.c); |
| 12 | } |
Note:
See TracBrowser
for help on using the repository browser.
