Run proptests only on main

quasar-finance · Jul 19, 2024 · 2e8d9ac · 2e8d9ac
1 parent c987a13
commit 2e8d9ac
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 4 deletions.
diff --git a/.github/workflows/cl_vault.yml b/.github/workflows/cl_vault.yml
@@ -9,7 +9,8 @@ on:
       - 'smart-contracts/contracts/cl-vault/**.rs'
       - 'smart-contracts/contracts/dex-router-osmosis/Cargo.toml'
       - 'smart-contracts/contracts/dex-router-osmosis/**.rs'
-      - '.github/workflows/**.yml'
+      - '.github/workflows/cl_vault.yml'
+      - '.github/workflows/rust_basic.yml'
   push:
     branches:
       - main
@@ -18,7 +19,8 @@ on:
       - 'smart-contracts/contracts/cl-vault/**.rs'
       - 'smart-contracts/contracts/dex-router-osmosis/Cargo.toml'
       - 'smart-contracts/contracts/dex-router-osmosis/**.rs'
-      - '.github/workflows/**.yml'
+      - '.github/workflows/cl_vault.yml'
+      - '.github/workflows/rust_basic.yml'
   workflow_dispatch:
 
 jobs:
@@ -50,6 +52,10 @@ jobs:
         working-directory: smart-contracts/contracts/cl-vault
       - name: Run test-tube tests
         run: cargo test-tube
+        working-directory: smart-contracts/contracts/cl-vault
+      - name: Run fuzzer
+        if: github.ref == 'refs/heads/main'
+        run: cargo prop-test
         env:
-          PROPTEST_CASES: 10
+          PROPTEST_CASES: 20
         working-directory: smart-contracts/contracts/cl-vault
diff --git a/smart-contracts/contracts/cl-vault/.cargo/config b/smart-contracts/contracts/cl-vault/.cargo/config
@@ -2,5 +2,6 @@
 wasm = "build --release --lib --target wasm32-unknown-unknown"
 unit-test = "test --lib"
 schema = "run --bin schema"
-test-tube = "test --package cl-vault --lib -- --include-ignored test_tube:: --nocapture --test-threads=1"
+test-tube = "test --package cl-vault --lib -- --include-ignored test_tube:: --nocapture --test-threads=1 --skip test_complete_works"
+prop-test = "test test_tube::proptest::tests::test_complete_works --lib -- --include-ignored test_tube:: --nocapture --test-threads=1 --exact"
 test-tube-build = "build --release --lib --target  wasm32-unknown-unknown --target-dir ./test-tube-build"