diff options
Diffstat (limited to 'test/regression/2007-08-06-64bit-shift.c')
| -rw-r--r-- | test/regression/2007-08-06-64bit-shift.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/2007-08-06-64bit-shift.c b/test/regression/2007-08-06-64bit-shift.c index ac282dbd..c6c1f34d 100644 --- a/test/regression/2007-08-06-64bit-shift.c +++ b/test/regression/2007-08-06-64bit-shift.c @@ -7,7 +7,7 @@ int main() { int d; - klee_make_symbolic( &d, sizeof(d) ); + klee_make_symbolic(&d, sizeof(d), "d"); int l = d - 1; unsigned long long m = ((unsigned long long) l << 32) / d; |