From f132d3b1bc69c2397e15c7d0a5895d854c5920c5 Mon Sep 17 00:00:00 2001 From: Claudio Russo Date: Thu, 25 Jul 2024 18:38:41 +0100 Subject: [PATCH] up limits --- src/codegen/compile.ml | 2 +- test/run-drun/idl-spacebomb.mo | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/codegen/compile.ml b/src/codegen/compile.ml index 3fcf68cfbb6..90c0a84e97b 100644 --- a/src/codegen/compile.ml +++ b/src/codegen/compile.ml @@ -6583,7 +6583,7 @@ module MakeSerialization (Strm : Stream) = struct G.if1 I64Type begin (* Candid deserialization *) compile_unboxed_const 0l ^^ IC.performance_counter env ^^ - compile_const_64 1_000_000L ^^ (* TUNE *) + compile_const_64 50_000_000L ^^ (* TUNE *) G.i (Binary (Wasm.Values.I64 I64Op.Add)) end begin (* Extended candid/ Destabilization *) diff --git a/test/run-drun/idl-spacebomb.mo b/test/run-drun/idl-spacebomb.mo index a1aa9be0800..7ec1b0d2c9e 100644 --- a/test/run-drun/idl-spacebomb.mo +++ b/test/run-drun/idl-spacebomb.mo @@ -14,7 +14,10 @@ actor this { }; func assert_low_cost() { - assert performanceCounter(0) < 10_000; + let limit : Nat64 = 50_000; + let c = performanceCounter(0); + if (c > limit) debugPrint (debug_show c); + assert performanceCounter(0) < limit; debugPrint("decoded at low cost"); };