Index: benchmarks/earley-boyer.js |
=================================================================== |
--- benchmarks/earley-boyer.js (revision 362) |
+++ benchmarks/earley-boyer.js (working copy) |
@@ -4647,7 +4647,7 @@ |
return ((k = ((args === null)?(7):(args.car))), (BgL_runzd2benchmarkzd2("earley", (1), function() { |
return (test(k)); |
}, function(result) { |
- return ((sc_display(result)), (sc_newline()), true); |
+ return ((sc_display(result)), (sc_newline()), result == 132); |
}))); |
}; |
} |
@@ -4675,6 +4675,9 @@ |
function RunBenchmark(name, count, run, warn) { |
for (var n = 0; n < count; ++n) { |
result = run(); |
+ if (!warn(result)) { |
+ throw new Error("Earley or Boyer did incorrect number of rewrites"); |
+ } |
} |
} |