From dfefd9710a3a64c5a81936d86f8b87d7ebc2e0b7 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 5 Jul 2018 12:17:02 +0100 Subject: Fixed runtest library to handle the case of a NULL "name" argument in klee_make_symbolic. Changed a test case to check this feature. --- test/Replay/libkleeruntest/replay_two_objects.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Replay/libkleeruntest') diff --git a/test/Replay/libkleeruntest/replay_two_objects.c b/test/Replay/libkleeruntest/replay_two_objects.c index 779e1b65..7cbfe306 100644 --- a/test/Replay/libkleeruntest/replay_two_objects.c +++ b/test/Replay/libkleeruntest/replay_two_objects.c @@ -15,7 +15,7 @@ int main(int argc, char** argv) { int x = 0; int y = 0; klee_make_symbolic(&x, sizeof(x), "x"); - klee_make_symbolic(&y, sizeof(x), "y"); + klee_make_symbolic(&y, sizeof(y), NULL); klee_assume(x == 1); klee_assume(y == 128); -- cgit 1.4.1