From cdf69941709ee2a12b813bc0d5b0a14f1de2acb3 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 13 Jan 2021 18:10:56 +0100 Subject: [PATCH] update oracle after !2990 --- src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle b/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle index 384591685af..76309462d15 100644 --- a/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle +++ b/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle @@ -119,7 +119,7 @@ int decode_int(char *s) int __retres; char c; /*@ ghost decode_int_pre_func(s); */ - int intmax = ~ (1 << (sizeof(int) * (unsigned int)8 - (unsigned int)1)); + int intmax = ~ (1 << (sizeof(int) * (unsigned long)8 - (unsigned long)1)); int cutlim = intmax % 10; int cutoff = intmax / 10; int value = 0; -- GitLab