Skip to content

Commit c01b3de

Browse files
ikripakaikripaka
committed
ui tests: remove iterative generation for custom value in mutation testing
1 parent 3aa022d commit c01b3de

13 files changed

Lines changed: 118 additions & 375 deletions

‎crates/simplex/tests/ui/array_tr_storage.rs‎

Lines changed: 2 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use simplex::include_simf;
2-
use simplex::mutantesting::{generate_value_by_ty, generate_value_by_ty_iterative};
2+
use simplex::mutantesting::{generate_value_by_ty};
33
use simplex::program::Program;
44
use simplex::program::{ArgumentsTrait, RandomArguments, RandomWitness, WitnessTrait};
55
use simplex::provider::SimplicityNetwork;
@@ -147,19 +147,13 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
147147

148148
let witness_values = regenerate_witness_values(&witness_values, &mut rng);
149149
let _ = derived_array_tr_storage::ArrayTrStorageWitness::from_witness(&witness_values)?;
150-
151-
let witness_values = regenerate_witness_values_iterative(&witness_values, &mut rng);
152-
let _ = derived_array_tr_storage::ArrayTrStorageWitness::from_witness(&witness_values)?;
153150
}
154151

155152
{
156153
let arguments_values = derived_array_tr_storage::ArrayTrStorageArguments::generate_arguments(&mut rng);
157154

158155
let arguments_values = regenerate_arguments_values(&arguments_values, &mut rng);
159156
let _ = derived_array_tr_storage::ArrayTrStorageArguments::from_arguments(&arguments_values)?;
160-
161-
let arguments_values = regenerate_arguments_values_iterative(&arguments_values, &mut rng);
162-
let _ = derived_array_tr_storage::ArrayTrStorageArguments::from_arguments(&arguments_values)?;
163157
}
164158
}
165159
Ok(())
@@ -182,24 +176,4 @@ fn regenerate_arguments_values(args: &Arguments, rng: &mut dyn RngCore) -> Argum
182176
map.insert(name.clone(), generate_value_by_ty(val.ty(), rng));
183177
}
184178
Arguments::from(map)
185-
}
186-
187-
fn regenerate_witness_values_iterative(wit: &WitnessValues, rng: &mut dyn RngCore) -> WitnessValues {
188-
use std::collections::HashMap;
189-
190-
let mut map: HashMap<_,_> = Default::default();
191-
for (name, val) in wit.iter() {
192-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
193-
}
194-
WitnessValues::from(map)
195-
}
196-
197-
fn regenerate_arguments_values_iterative(args: &Arguments, rng: &mut dyn RngCore) -> Arguments {
198-
use std::collections::HashMap;
199-
200-
let mut map: HashMap<_,_> = Default::default();
201-
for (name, val) in args.iter() {
202-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
203-
}
204-
Arguments::from(map)
205-
}
179+
}

‎crates/simplex/tests/ui/bytes32_tr_storage.rs‎

Lines changed: 1 addition & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use simplex::include_simf;
2-
use simplex::mutantesting::{generate_value_by_ty, generate_value_by_ty_iterative};
2+
use simplex::mutantesting::{generate_value_by_ty};
33
use simplex::program::Program;
44
use simplex::program::{ArgumentsTrait, RandomArguments, RandomWitness, WitnessTrait};
55
use simplex::provider::SimplicityNetwork;
@@ -149,19 +149,13 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
149149

150150
let witness_values = regenerate_witness_values(&witness_values, &mut rng);
151151
let _ = derived_bytes32_tr_storage::Bytes32TrStorageWitness::from_witness(&witness_values)?;
152-
153-
let witness_values = regenerate_witness_values_iterative(&witness_values, &mut rng);
154-
let _ = derived_bytes32_tr_storage::Bytes32TrStorageWitness::from_witness(&witness_values)?;
155152
}
156153

157154
{
158155
let arguments_values = derived_bytes32_tr_storage::Bytes32TrStorageArguments::generate_arguments(&mut rng);
159156

160157
let arguments_values = regenerate_arguments_values(&arguments_values, &mut rng);
161158
let _ = derived_bytes32_tr_storage::Bytes32TrStorageArguments::from_arguments(&arguments_values)?;
162-
163-
let arguments_values = regenerate_arguments_values_iterative(&arguments_values, &mut rng);
164-
let _ = derived_bytes32_tr_storage::Bytes32TrStorageArguments::from_arguments(&arguments_values)?;
165159
}
166160
}
167161
Ok(())
@@ -185,23 +179,3 @@ fn regenerate_arguments_values(args: &Arguments, rng: &mut dyn RngCore) -> Argum
185179
}
186180
Arguments::from(map)
187181
}
188-
189-
fn regenerate_witness_values_iterative(wit: &WitnessValues, rng: &mut dyn RngCore) -> WitnessValues {
190-
use std::collections::HashMap;
191-
192-
let mut map: HashMap<_,_> = Default::default();
193-
for (name, val) in wit.iter() {
194-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
195-
}
196-
WitnessValues::from(map)
197-
}
198-
199-
fn regenerate_arguments_values_iterative(args: &Arguments, rng: &mut dyn RngCore) -> Arguments {
200-
use std::collections::HashMap;
201-
202-
let mut map: HashMap<_,_> = Default::default();
203-
for (name, val) in args.iter() {
204-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
205-
}
206-
Arguments::from(map)
207-
}

‎crates/simplex/tests/ui/dual_currency_deposit.rs‎

Lines changed: 1 addition & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use simplex::include_simf;
2-
use simplex::mutantesting::{generate_value_by_ty, generate_value_by_ty_iterative};
2+
use simplex::mutantesting::{generate_value_by_ty};
33
use simplex::program::Program;
44
use simplex::program::{ArgumentsTrait, RandomArguments, RandomWitness, WitnessTrait};
55
use simplex::provider::SimplicityNetwork;
@@ -153,9 +153,6 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
153153

154154
let witness_values = regenerate_witness_values(&witness_values, &mut rng);
155155
let _ = derived_dual_currency_deposit::DualCurrencyDepositWitness::from_witness(&witness_values)?;
156-
157-
let witness_values = regenerate_witness_values_iterative(&witness_values, &mut rng);
158-
let _ = derived_dual_currency_deposit::DualCurrencyDepositWitness::from_witness(&witness_values)?;
159156
}
160157

161158
{
@@ -164,9 +161,6 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
164161

165162
let arguments_values = regenerate_arguments_values(&arguments_values, &mut rng);
166163
let _ = derived_dual_currency_deposit::DualCurrencyDepositArguments::from_arguments(&arguments_values)?;
167-
168-
let arguments_values = regenerate_arguments_values_iterative(&arguments_values, &mut rng);
169-
let _ = derived_dual_currency_deposit::DualCurrencyDepositArguments::from_arguments(&arguments_values)?;
170164
}
171165
}
172166
Ok(())
@@ -190,23 +184,3 @@ fn regenerate_arguments_values(args: &Arguments, rng: &mut dyn RngCore) -> Argum
190184
}
191185
Arguments::from(map)
192186
}
193-
194-
fn regenerate_witness_values_iterative(wit: &WitnessValues, rng: &mut dyn RngCore) -> WitnessValues {
195-
use std::collections::HashMap;
196-
197-
let mut map: HashMap<_,_> = Default::default();
198-
for (name, val) in wit.iter() {
199-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
200-
}
201-
WitnessValues::from(map)
202-
}
203-
204-
fn regenerate_arguments_values_iterative(args: &Arguments, rng: &mut dyn RngCore) -> Arguments {
205-
use std::collections::HashMap;
206-
207-
let mut map: HashMap<_,_> = Default::default();
208-
for (name, val) in args.iter() {
209-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
210-
}
211-
Arguments::from(map)
212-
}

‎crates/simplex/tests/ui/either_with_single_witness.rs‎

Lines changed: 1 addition & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use simplex::include_simf;
2-
use simplex::mutantesting::{generate_value_by_ty, generate_value_by_ty_iterative};
2+
use simplex::mutantesting::{generate_value_by_ty};
33
use simplex::program::Program;
44
use simplex::program::{ArgumentsTrait, RandomArguments, RandomWitness, WitnessTrait};
55
use simplex::provider::SimplicityNetwork;
@@ -155,9 +155,6 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
155155

156156
let witness_values = regenerate_witness_values(&witness_values, &mut rng);
157157
let _ = derived_either_with_single_witness::EitherWithSingleWitnessWitness::from_witness(&witness_values)?;
158-
159-
let witness_values = regenerate_witness_values_iterative(&witness_values, &mut rng);
160-
let _ = derived_either_with_single_witness::EitherWithSingleWitnessWitness::from_witness(&witness_values)?;
161158
}
162159

163160
{
@@ -168,11 +165,6 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
168165
let _ = derived_either_with_single_witness::EitherWithSingleWitnessArguments::from_arguments(
169166
&arguments_values,
170167
)?;
171-
172-
let arguments_values = regenerate_arguments_values_iterative(&arguments_values, &mut rng);
173-
let _ = derived_either_with_single_witness::EitherWithSingleWitnessArguments::from_arguments(
174-
&arguments_values,
175-
)?;
176168
}
177169
}
178170
Ok(())
@@ -196,23 +188,3 @@ fn regenerate_arguments_values(args: &Arguments, rng: &mut dyn RngCore) -> Argum
196188
}
197189
Arguments::from(map)
198190
}
199-
200-
fn regenerate_witness_values_iterative(wit: &WitnessValues, rng: &mut dyn RngCore) -> WitnessValues {
201-
use std::collections::HashMap;
202-
203-
let mut map: HashMap<_,_> = Default::default();
204-
for (name, val) in wit.iter() {
205-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
206-
}
207-
WitnessValues::from(map)
208-
}
209-
210-
fn regenerate_arguments_values_iterative(args: &Arguments, rng: &mut dyn RngCore) -> Arguments {
211-
use std::collections::HashMap;
212-
213-
let mut map: HashMap<_,_> = Default::default();
214-
for (name, val) in args.iter() {
215-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
216-
}
217-
Arguments::from(map)
218-
}

‎crates/simplex/tests/ui/exotic_values.rs‎

Lines changed: 1 addition & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use simplex::include_simf;
2-
use simplex::mutantesting::{generate_value_by_ty, generate_value_by_ty_iterative};
2+
use simplex::mutantesting::{generate_value_by_ty};
33
use simplex::program::Program;
44
use simplex::program::{ArgumentsTrait, RandomArguments, RandomWitness, WitnessTrait};
55
use simplex::provider::SimplicityNetwork;
@@ -146,19 +146,13 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
146146

147147
let witness_values = regenerate_witness_values(&witness_values, &mut rng);
148148
let _ = derived_exotic_values::ExoticValuesWitness::from_witness(&witness_values)?;
149-
150-
let witness_values = regenerate_witness_values_iterative(&witness_values, &mut rng);
151-
let _ = derived_exotic_values::ExoticValuesWitness::from_witness(&witness_values)?;
152149
}
153150

154151
{
155152
let arguments_values = derived_exotic_values::ExoticValuesArguments::generate_arguments(&mut rng);
156153

157154
let arguments_values = regenerate_arguments_values(&arguments_values, &mut rng);
158155
let _ = derived_exotic_values::ExoticValuesArguments::from_arguments(&arguments_values)?;
159-
160-
let arguments_values = regenerate_arguments_values_iterative(&arguments_values, &mut rng);
161-
let _ = derived_exotic_values::ExoticValuesArguments::from_arguments(&arguments_values)?;
162156
}
163157
}
164158
Ok(())
@@ -182,23 +176,3 @@ fn regenerate_arguments_values(args: &Arguments, rng: &mut dyn RngCore) -> Argum
182176
}
183177
Arguments::from(map)
184178
}
185-
186-
fn regenerate_witness_values_iterative(wit: &WitnessValues, rng: &mut dyn RngCore) -> WitnessValues {
187-
use std::collections::HashMap;
188-
189-
let mut map: HashMap<_,_> = Default::default();
190-
for (name, val) in wit.iter() {
191-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
192-
}
193-
WitnessValues::from(map)
194-
}
195-
196-
fn regenerate_arguments_values_iterative(args: &Arguments, rng: &mut dyn RngCore) -> Arguments {
197-
use std::collections::HashMap;
198-
199-
let mut map: HashMap<_,_> = Default::default();
200-
for (name, val) in args.iter() {
201-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
202-
}
203-
Arguments::from(map)
204-
}

‎crates/simplex/tests/ui/list_check.rs‎

Lines changed: 1 addition & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use simplex::include_simf;
2-
use simplex::mutantesting::{generate_value_by_ty, generate_value_by_ty_iterative};
2+
use simplex::mutantesting::{generate_value_by_ty};
33
use simplex::program::Program;
44
use simplex::program::{ArgumentsTrait, RandomArguments, RandomWitness, WitnessTrait};
55
use simplex::provider::SimplicityNetwork;
@@ -183,19 +183,13 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
183183

184184
let witness_values = regenerate_witness_values(&witness_values, &mut rng);
185185
let _ = derived_list_check::ListCheckWitness::from_witness(&witness_values)?;
186-
187-
let witness_values = regenerate_witness_values_iterative(&witness_values, &mut rng);
188-
let _ = derived_list_check::ListCheckWitness::from_witness(&witness_values)?;
189186
}
190187

191188
{
192189
let arguments_values = derived_list_check::ListCheckArguments::generate_arguments(&mut rng);
193190

194191
let arguments_values = regenerate_arguments_values(&arguments_values, &mut rng);
195192
let _ = derived_list_check::ListCheckArguments::from_arguments(&arguments_values)?;
196-
197-
let arguments_values = regenerate_arguments_values_iterative(&arguments_values, &mut rng);
198-
let _ = derived_list_check::ListCheckArguments::from_arguments(&arguments_values)?;
199193
}
200194
}
201195
Ok(())
@@ -219,23 +213,3 @@ fn regenerate_arguments_values(args: &Arguments, rng: &mut dyn RngCore) -> Argum
219213
}
220214
Arguments::from(map)
221215
}
222-
223-
fn regenerate_witness_values_iterative(wit: &WitnessValues, rng: &mut dyn RngCore) -> WitnessValues {
224-
use std::collections::HashMap;
225-
226-
let mut map: HashMap<_,_> = Default::default();
227-
for (name, val) in wit.iter() {
228-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
229-
}
230-
WitnessValues::from(map)
231-
}
232-
233-
fn regenerate_arguments_values_iterative(args: &Arguments, rng: &mut dyn RngCore) -> Arguments {
234-
use std::collections::HashMap;
235-
236-
let mut map: HashMap<_,_> = Default::default();
237-
for (name, val) in args.iter() {
238-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
239-
}
240-
Arguments::from(map)
241-
}

‎crates/simplex/tests/ui/option_offer.rs‎

Lines changed: 1 addition & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
use simplex::include_simf;
2-
use simplex::mutantesting::{generate_value_by_ty, generate_value_by_ty_iterative};
2+
use simplex::mutantesting::{generate_value_by_ty};
33
use simplex::program::Program;
44
use simplex::program::{ArgumentsTrait, RandomArguments, RandomWitness, WitnessTrait};
55
use simplex::provider::SimplicityNetwork;
@@ -146,19 +146,13 @@ fn test_e2e_random_value_generation_behaviour() -> Result<(), String> {
146146

147147
let witness_values = regenerate_witness_values(&witness_values, &mut rng);
148148
let _ = derived_option_offer::OptionOfferWitness::from_witness(&witness_values)?;
149-
150-
let witness_values = regenerate_witness_values_iterative(&witness_values, &mut rng);
151-
let _ = derived_option_offer::OptionOfferWitness::from_witness(&witness_values)?;
152149
}
153150

154151
{
155152
let arguments_values = derived_option_offer::OptionOfferArguments::generate_arguments(&mut rng);
156153

157154
let arguments_values = regenerate_arguments_values(&arguments_values, &mut rng);
158155
let _ = derived_option_offer::OptionOfferArguments::from_arguments(&arguments_values)?;
159-
160-
let arguments_values = regenerate_arguments_values_iterative(&arguments_values, &mut rng);
161-
let _ = derived_option_offer::OptionOfferArguments::from_arguments(&arguments_values)?;
162156
}
163157
}
164158
Ok(())
@@ -182,23 +176,3 @@ fn regenerate_arguments_values(args: &Arguments, rng: &mut dyn RngCore) -> Argum
182176
}
183177
Arguments::from(map)
184178
}
185-
186-
fn regenerate_witness_values_iterative(wit: &WitnessValues, rng: &mut dyn RngCore) -> WitnessValues {
187-
use std::collections::HashMap;
188-
189-
let mut map: HashMap<_,_> = Default::default();
190-
for (name, val) in wit.iter() {
191-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
192-
}
193-
WitnessValues::from(map)
194-
}
195-
196-
fn regenerate_arguments_values_iterative(args: &Arguments, rng: &mut dyn RngCore) -> Arguments {
197-
use std::collections::HashMap;
198-
199-
let mut map: HashMap<_,_> = Default::default();
200-
for (name, val) in args.iter() {
201-
map.insert(name.clone(), generate_value_by_ty_iterative(val.ty(), rng));
202-
}
203-
Arguments::from(map)
204-
}

0 commit comments

Comments
 (0)