Skip to content

Commit 05d6190

Browse files
dzfranklindwrensha
authored andcommitted
Make miri skip newly added quickcheck tests
All the other quickcheck tests had the ignore annotation previously.
1 parent 1af482d commit 05d6190

File tree

3 files changed

+3
-0
lines changed

3 files changed

+3
-0
lines changed

capnp-futures/src/serialize.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -640,6 +640,7 @@ pub mod test {
640640
}
641641
}
642642

643+
#[cfg_attr(miri, ignore)] // Miri takes a long time with quickcheck
643644
#[test]
644645
fn check_round_trip_async() {
645646
fn round_trip(

capnp-futures/src/serialize_packed.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -680,6 +680,7 @@ pub mod test {
680680
.is_failure());
681681
}
682682

683+
#[cfg_attr(miri, ignore)]
683684
#[test]
684685
fn check_packed_round_trip_async() {
685686
quickcheck(round_trip as fn(usize, usize, Vec<Vec<capnp::Word>>) -> TestResult);

capnpc/test/test.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2157,6 +2157,7 @@ mod tests {
21572157
CheckTestMessage::check_test_message(message_reader.get().unwrap());
21582158
}
21592159

2160+
#[cfg_attr(miri, ignore)]
21602161
#[test]
21612162
fn test_raw_code_generator_request_path() {
21622163
use capnp::serialize;

0 commit comments

Comments
 (0)