changeset 1375:3f6c65d4c9c1

benchmark: fix compToft05 and compToft07 benchmarks
author Martin Geisler <mg@cs.au.dk>
date Tue, 27 Oct 2009 14:54:54 +0100
parents 568f9c696979
children 98059854fc52
files apps/benchmark.py
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/apps/benchmark.py	Tue Oct 27 11:43:37 2009 +0100
+++ b/apps/benchmark.py	Tue Oct 27 14:54:54 2009 +0100
@@ -87,8 +87,10 @@
 last_timestamp = time.time()
 
 operations = {"mul"       : ("mul", [], BinaryOperation),
-              "compToft05": ("ge", [ComparisonToft05Mixin], BinaryOperation),
-              "compToft07": ("ge", [ComparisonToft07Mixin], BinaryOperation),
+              "compToft05": ("greater_than_equal",
+                             [ComparisonToft05Mixin], BinaryOperation),
+              "compToft07": ("greater_than_equal",
+                             [ComparisonToft07Mixin], BinaryOperation),
               "eq"        : ("eq", [ProbabilisticEqualityMixin], BinaryOperation),
               "triple_gen": ("triple_gen", [], NullaryOperation)}