@@ -142,13 +142,13 @@ macro_rules! generate_value {
142
142
( $self: ident, $driver: ident) => { {
143
143
let forward_panic = crate :: panic:: forward_panic( true ) ;
144
144
let value = if let Some ( value) = $self. value. as_mut( ) {
145
- if $self. gen . mutate( $driver, value) . is_some( ) {
145
+ if $self. produce . mutate( $driver, value) . is_some( ) {
146
146
value
147
147
} else {
148
148
crate :: panic:: forward_panic( forward_panic) ;
149
149
return Ok ( false ) ;
150
150
}
151
- } else if let Some ( value) = $self. gen . generate( $driver) {
151
+ } else if let Some ( value) = $self. produce . generate( $driver) {
152
152
$self. value = Some ( value) ;
153
153
$self. value. as_ref( ) . unwrap( )
154
154
} else {
@@ -162,23 +162,23 @@ macro_rules! generate_value {
162
162
#[ cfg( kani) ]
163
163
macro_rules! generate_value {
164
164
( $self: ident, $driver: ident) => { {
165
- $self. value = $self. gen . generate( $driver) ;
165
+ $self. value = $self. produce . generate( $driver) ;
166
166
kani:: assume( $self. value. is_some( ) ) ;
167
167
$self. value. as_ref( ) . unwrap( )
168
168
} } ;
169
169
}
170
170
171
171
pub struct BorrowedGeneratorTest < F , G , V > {
172
172
fun : F ,
173
- gen : G ,
173
+ produce : G ,
174
174
value : Option < V > ,
175
175
}
176
176
177
177
impl < F , G , V > BorrowedGeneratorTest < F , G , V > {
178
- pub fn new ( fun : F , gen : G ) -> Self {
178
+ pub fn new ( fun : F , produce : G ) -> Self {
179
179
Self {
180
180
fun,
181
- gen ,
181
+ produce ,
182
182
value : None ,
183
183
}
184
184
}
@@ -217,7 +217,7 @@ where
217
217
fn generate_value < T : Input < Self :: Value > > ( & self , input : & mut T ) -> Self :: Value {
218
218
input. with_driver ( & mut |driver| {
219
219
let forward_panic = crate :: panic:: forward_panic ( true ) ;
220
- let value = self . gen . generate ( driver) . unwrap ( ) ;
220
+ let value = self . produce . generate ( driver) . unwrap ( ) ;
221
221
crate :: panic:: forward_panic ( forward_panic) ;
222
222
value
223
223
} )
@@ -226,15 +226,15 @@ where
226
226
227
227
pub struct ClonedGeneratorTest < F , G , V > {
228
228
fun : F ,
229
- gen : G ,
229
+ produce : G ,
230
230
value : Option < V > ,
231
231
}
232
232
233
233
impl < F , G , V > ClonedGeneratorTest < F , G , V > {
234
- pub fn new ( fun : F , gen : G ) -> Self {
234
+ pub fn new ( fun : F , produce : G ) -> Self {
235
235
Self {
236
236
fun,
237
- gen ,
237
+ produce ,
238
238
value : None ,
239
239
}
240
240
}
@@ -285,7 +285,7 @@ where
285
285
fn generate_value < T : Input < Self :: Value > > ( & self , input : & mut T ) -> Self :: Value {
286
286
input. with_driver ( & mut |driver| {
287
287
let forward_panic = crate :: panic:: forward_panic ( true ) ;
288
- let value = self . gen . generate ( driver) . unwrap ( ) ;
288
+ let value = self . produce . generate ( driver) . unwrap ( ) ;
289
289
crate :: panic:: forward_panic ( forward_panic) ;
290
290
value
291
291
} )
0 commit comments