Merge pull request #1552 from mmcgr/rounding

Change testcase to be safe for 64 bit and 32bit
souffle-lang · Jul 28, 2020 · 96d763f · 96d763f
2 parents 97abbe0 + 5c481b3
commit 96d763f
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/tests/evaluation/aggregates7/AggregateOverflow.csv b/tests/evaluation/aggregates7/AggregateOverflow.csv
@@ -1 +1 @@
-2.14748365e+09
+5
diff --git a/tests/evaluation/aggregates7/IndexAggregateOverflow.csv b/tests/evaluation/aggregates7/IndexAggregateOverflow.csv
@@ -1 +1 @@
-1	2.14748365e+09
+1	5
diff --git a/tests/evaluation/aggregates7/aggregates7.dl b/tests/evaluation/aggregates7/aggregates7.dl
@@ -45,12 +45,12 @@ IndexAggregateSum(1, x) :- x = sum y : F(1, y).
 .decl H, IndexAggregateOverflow(x:float, y:float)
 .output AggregateOverflow, IndexAggregateOverflow
 
-G(2147483640).
-G(2147483630).
+G(4).
+G(6).
 
 AggregateOverflow(x) :- x = mean y : G(y).
 
-H(1, 2147483640).
-H(1, 2147483630).
+H(1, 4).
+H(1, 6).
 
 IndexAggregateOverflow(1, x) :- x = mean y : H(1, y).