ci: set default proptest limits (#1521)

lambdaclass · Jan 2, 2024 · 88a5bf1 · 88a5bf1
1 parent 2636fd2
commit 88a5bf1
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 0 deletions.
diff --git a/.github/workflows/fresh_run.yml b/.github/workflows/fresh_run.yml
@@ -5,6 +5,9 @@ on:
   # At the end of every day
   - cron: "0 0 * * *"
 
+env:
+  PROPTEST_CASES: 10000
+
 jobs:
   fresh_run:
     strategy:

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -18,6 +18,7 @@ env:
     cairo_programs/**/*.json
     !cairo_programs/manually_compiled/*
     examples/wasm-demo/src/array_sum.json
+  PROPTEST_CASES: 100
 
 jobs:
   build-programs:

diff --git a/Cargo.toml b/Cargo.toml
@@ -88,3 +88,9 @@ lto = "fat"
 [profile.release.package.wasm-demo]
 # Tell `rustc` to optimize for small code size.
 opt-level = "s"
+
+[profile.test.package.proptest]
+opt-level = 3
+
+[profile.test.package.rand_chacha]
+opt-level = 3
diff --git a/Makefile b/Makefile
@@ -7,6 +7,11 @@ STARKNET_SIERRA_COMPILE_CAIRO_1:=cairo1/bin/starknet-sierra-compile
 STARKNET_COMPILE_CAIRO_2:=cairo2/bin/starknet-compile
 STARKNET_SIERRA_COMPILE_CAIRO_2:=cairo2/bin/starknet-sierra-compile
 
+ifndef PROPTEST_CASES
+	PROPTEST_CASES:=10
+	export PROPTEST_CASES
+endif
+
 .PHONY: build-cairo-1-compiler build-cairo-1-compiler-macos build-cairo-2-compiler build-cairo-2-compiler-macos \
 	deps deps-macos cargo-deps build run check test clippy coverage benchmark flamegraph \
 	compare_benchmarks_deps compare_benchmarks docs clean \