Skip to content

Commit

Permalink
up limits
Browse files Browse the repository at this point in the history
  • Loading branch information
crusso committed Jul 25, 2024
1 parent 7c8955c commit f132d3b
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/codegen/compile.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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 *)
Expand Down
5 changes: 4 additions & 1 deletion test/run-drun/idl-spacebomb.mo
Original file line number Diff line number Diff line change
Expand Up @@ -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");
};

Expand Down

0 comments on commit f132d3b

Please sign in to comment.