Reenable proptest_val_cmp (#1185)

Closes #1141
stellar · Dec 5, 2023 · 71170fb · 71170fb
1 parent 822ce6c
commit 71170fb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/soroban-sdk/src/tests/proptest_val_cmp.rs b/soroban-sdk/src/tests/proptest_val_cmp.rs
@@ -15,7 +15,6 @@ proptest! {
     #![proptest_config(ProptestConfig::with_cases(10000))]
 
     #[test]
-    #[ignore] // TODO: https://github.com/stellar/rs-soroban-sdk/issues/1141
     fn test(
         rawval_proto_1 in arb::<<Val as SorobanArbitrary>::Prototype>(),
         rawval_proto_2 in arb::<<Val as SorobanArbitrary>::Prototype>(),