Include slow unit tests in CI

private-attribution · Dec 4, 2024 · ab147ed · ab147ed
1 parent e8eaa7d
commit ab147ed
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 4 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -172,6 +172,9 @@ jobs:
             target/
           key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.toml') }}
 
+      - name: Slow Unit Tests
+        run: cargo test -p ipa-core --lib -- mpc_proptest semi_honest_with_dp_slow gen_binomial_noise_16_breakdowns
+
       - name: Integration Tests - Compact Gate
         run: cargo test --release --test "compact_gate" --no-default-features --features "cli web-app real-world-infra test-fixture compact-gate"
 

diff --git a/ipa-core/src/protocol/context/dzkp_validator.rs b/ipa-core/src/protocol/context/dzkp_validator.rs
@@ -1332,7 +1332,7 @@ mod tests {
     proptest! {
         #![proptest_config(mpc_proptest_config())]
         #[test]
-        fn batching_proptest(
+        fn batching_mpc_proptest(
             (record_count, max_multiplications_per_gate) in batching(),
             protocol in 0..8,
         ) {

diff --git a/ipa-core/src/protocol/hybrid/breakdown_reveal.rs b/ipa-core/src/protocol/hybrid/breakdown_reveal.rs
@@ -616,7 +616,7 @@ mod proptests {
     proptest! {
         #![proptest_config(mpc_proptest_config_with_cases(100))]
         #[test]
-        fn breakdown_reveal_proptest(
+        fn breakdown_reveal_mpc_proptest(
             input_struct in inputs(PROP_MAX_INPUT_LEN),
             seed in any::<u64>(),
         ) {

diff --git a/ipa-core/src/protocol/ipa_prf/aggregation/breakdown_reveal.rs b/ipa-core/src/protocol/ipa_prf/aggregation/breakdown_reveal.rs
@@ -598,7 +598,7 @@ pub mod tests {
         #[test]
         #[ignore] // This test is similar enough to the one in hybrid::breakdown_reveal
                   // that it is not worth running both.
-        fn breakdown_reveal_proptest(
+        fn breakdown_reveal_mpc_proptest(
             input_struct in inputs(PROP_MAX_INPUT_LEN),
             seed in any::<u64>(),
         ) {

diff --git a/ipa-core/src/protocol/ipa_prf/aggregation/mod.rs b/ipa-core/src/protocol/ipa_prf/aggregation/mod.rs
@@ -537,7 +537,7 @@ pub mod tests {
     proptest! {
         #![proptest_config(mpc_proptest_config())]
         #[test]
-        fn aggregate_values_proptest(
+        fn aggregate_values_mpc_proptest(
             input_struct in arb_aggregate_values_inputs(PROP_MAX_INPUT_LEN),
             seed in any::<u64>(),
         ) {

diff --git a/ipa-core/src/test_fixture/mod.rs b/ipa-core/src/test_fixture/mod.rs
@@ -199,6 +199,9 @@ pub fn bits_to_field<F: Field + U128Conversions>(x: &[F]) -> F {
 }
 
 /// Useful proptest configuration when testing MPC protocols.
+///
+/// If you are using this config in a test, consider putting `mpc_proptest` in the name
+/// of the test, so it is included in the CI run of slow tests.
 #[cfg(test)]
 #[must_use]
 pub fn mpc_proptest_config() -> proptest::prelude::ProptestConfig {