void function ( final QuadConsumer < A , B , C , D > arg0 ) { check ( ( a , b , c , d ) -> { arg0 . accept ( a , b , c , d ) ; return true ; } ) ; }
checks a property across a random sample of possible values where falsification is indicated by an unchecked exception such as an assertion concode_field_sep Source<C> cs concode_elem_sep Source<B> bs concode_elem_sep Source<A> as concode_elem_sep Supplier<Strategy> state concode_elem_sep Predicate4<A,B,C,D> assumptions concode_elem_sep Source<D> ds concode_field_sep Subject1<T> as concode_elem_sep Subject5<A,B,C,D,T> asWithPrecursor concode_elem_sep Subject5<A,B,C,D,T> asWithPrecursor concode_elem_sep Generator<Tuple5<A,B,C,D,T>> generatePrecursorValueTuple concode_elem_sep TheoryBuilder4<A,B,C,D> assuming concode_elem_sep AsString<Tuple4<A,B,C,D>> joinToString concode_elem_sep void check concode_elem_sep Shrink<Tuple4<A,B,C,D>> combineShrinks concode_elem_sep Generator<Tuple4<A,B,C,D>> prgnToTuple concode_elem_sep Predicate<Tuple4<A,B,C,D>> convertPredicate concode_elem_sep Source<Tuple4<A,B,C,D>> combine