Fix all corelib tests, use corelib in CI (#622)

* apply missed fixes * update readme * implement coupons * implement const non zero too * fix conflict2 * fix trait impl * test against corelib instead now * fix tests * ci logging * dont cancel workflow * try updating apt * . * use rust 1.78 in ci * fix * fix * a * try * fix * fix * try * align * add comment * fix coverage makefile --------- Co-authored-by: Iñaki Garay <[email protected]> Co-authored-by: Julián González Calderón <[email protected]>
lambdaclass · Jun 4, 2024 · 5050e95 · 5050e95
1 parent 5c70d36
commit 5050e95
Show file tree

Hide file tree

Showing 29 changed files with 189 additions and 3,473 deletions.
diff --git a/Makefile b/Makefile
@@ -56,7 +56,7 @@ test: check-llvm needs-cairo2 build-alexandria runtime-ci
 	cargo test --profile ci --all-features
 
 test-cairo: check-llvm needs-cairo2 build-alexandria runtime-ci
-	cargo r --profile ci --bin cairo-native-test -- cairo-tests/
+	cargo r --profile ci --bin cairo-native-test -- corelib
 
 proptest: check-llvm needs-cairo2 runtime-ci
 	cargo test --profile ci --all-features proptest
@@ -69,7 +69,7 @@ proptest-ci: check-llvm needs-cairo2 runtime-ci
 
 coverage: check-llvm needs-cairo2 build-alexandria runtime-ci
 	cargo llvm-cov --verbose --profile ci --all-features --workspace --lcov --output-path lcov.info
-	cargo llvm-cov --verbose --profile ci --all-features --lcov --output-path lcov-test.info run --bin cairo-native-test -- cairo-tests
+	cargo llvm-cov --verbose --profile ci --all-features --lcov --output-path lcov-test.info run --bin cairo-native-test -- corelib
 
 doc: check-llvm
 	cargo doc --all-features --no-deps --workspace

diff --git a/cairo-tests/README.md b/cairo-tests/README.md
diff --git a/cairo-tests/cairo_project.toml b/cairo-tests/cairo_project.toml
diff --git a/cairo-tests/src/array_test.cairo b/cairo-tests/src/array_test.cairo
diff --git a/cairo-tests/src/bool_test.cairo b/cairo-tests/src/bool_test.cairo
diff --git a/cairo-tests/src/box_test.cairo b/cairo-tests/src/box_test.cairo