From 74ed0f5aa1b2b7fb1b42fa90ac0d7b3b4e0df85f Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Sun, 21 Mar 2021 21:49:30 +0000 Subject: tests: adjust to new summary output --- test/Feature/srem.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/Feature/srem.c') diff --git a/test/Feature/srem.c b/test/Feature/srem.c index 1303ac63..65b324d3 100644 --- a/test/Feature/srem.c +++ b/test/Feature/srem.c @@ -39,5 +39,6 @@ int main(int argc, char** argv) // CHECK: srem.c:[[@LINE+1]]: ASSERTION FAIL assert(-1 % y == -1); - // CHECK: KLEE: done: completed paths = 5 + // CHECK: KLEE: done: completed paths = 2 + // CHECK: KLEE: done: partially completed paths = 3 } -- cgit 1.4.1