update benchmarks

anoma · Sep 29, 2023 · 5aca4ac · 5aca4ac
1 parent b68cc8b
commit 5aca4ac
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/benchmark/combinations/runtime/combinations.c b/tests/benchmark/combinations/runtime/combinations.c
@@ -12,7 +12,7 @@ static constr_info_t juvix_constr_info_array[CONSTRS_NUM] = {BUILTIN_UIDS_INFO};
 
 int main() {
     JUVIX_DECL_ARGS;
-    JUVIX_PROLOGUE(2);
+    JUVIX_PROLOGUE(3);
 
     juvix_constrs_num = CONSTRS_NUM;
     juvix_constr_info = juvix_constr_info_array;

diff --git a/tests/benchmark/maybe/runtime/maybe.c b/tests/benchmark/maybe/runtime/maybe.c
@@ -25,7 +25,7 @@ static constr_info_t juvix_constr_info_array[CONSTRS_NUM] = {
 
 int main() {
     JUVIX_DECL_ARGS;
-    JUVIX_PROLOGUE(2);
+    JUVIX_PROLOGUE(3);
 
     juvix_constrs_num = CONSTRS_NUM;
     juvix_constr_info = juvix_constr_info_array;