Fix AllocErr in tuple_size_1 tests
@@ -4,11 +4,15 @@ use proptest::strategy::Strategy;
#[test]
fn without_tuple_errors_badarg() {
- with_process_arc(|arc_process| {
TestRunner::new(Config::with_source_file(file!()))
.run(
- &strategy::term::is_not_tuple(arc_process.clone()),
- |tuple| {
+ &strategy::process().prop_flat_map(|arc_process| {
+ (
+ Just(arc_process.clone()),
+ strategy::term::is_not_tuple(arc_process),
+ )
+ }),
+ |(arc_process, tuple)| {
prop_assert_eq!(
erlang::tuple_size_1(tuple, &arc_process),
Err(badarg!().into())
@@ -18,7 +22,6 @@ fn without_tuple_errors_badarg() {
},
)
.unwrap();
- });
}
#[test]
