Merge branch 'main' into ec-op-projective-types-rs-impl

.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:

.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:

Cargo.toml

@@ -79,9 +79,18 @@ ark-std = { version = "0.4.0", default-features = false }
 # For fuzzing
 arbitrary = { version = "1.3.0", features = ["derive"] }
 
+[profile.test]
+opt-level = 2
+
 [profile.release]
 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

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 \