Fixed regression tests bits/interleave_bits_*.c

The old loop unrolling bound (32) in the two files was unnecessarily large. I reduced it to the proper value (16). Corral flags and time limits are also adjusted accordingly.
smackers · Sep 21, 2017 · 9d98228 · 9d98228
1 parent a61feba
commit 9d98228
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/test/bits/config.yml b/test/bits/config.yml
@@ -1,2 +1,2 @@
 flags: [--bit-precise]
-time-limit: 600
+time-limit: 90
diff --git a/test/bits/interleave_bits_fail.c b/test/bits/interleave_bits_fail.c
@@ -1,8 +1,8 @@
 /* https://graphics.stanford.edu/~seander/bithacks.html#InterleaveTableObvious */
 #include "smack.h"
 
-// @flag --loop-limit=33
-// @flag --unroll=33
+// @flag --loop-limit=17
+// @flag --unroll=17
 // @expect error
 
 int main()
@@ -19,7 +19,7 @@ int main()
     unsigned int z = 0; /* z gets the resulting Morton Number. */
     unsigned int i = 0;
 
-    while (i < 32U) {
+    while (i < sizeof(x) * 8) {
         z |= ((x & (1U << i)) << i) | ((y & (1U << i)) << (i + 1));
         i += 1U;
     }

diff --git a/test/bits/interleave_bits_true.c b/test/bits/interleave_bits_true.c
@@ -1,8 +1,8 @@
 /* https://graphics.stanford.edu/~seander/bithacks.html#InterleaveTableObvious */
 #include "smack.h"
 
-// @flag --loop-limit=33
-// @flag --unroll=33
+// @flag --loop-limit=17
+// @flag --unroll=17
 // @expect verified
 
 int main()
@@ -19,7 +19,7 @@ int main()
     unsigned int z = 0; /* z gets the resulting Morton Number. */
     unsigned int i = 0;
 
-    while (i < 32U) {
+    while (i < sizeof(x) * 8) {
         z |= ((x & (1U << i)) << i) | ((y & (1U << i)) << (i + 1));
         i += 1U;
     }