waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Re-format source code using cargo fmt.

This commit is contained in:
KtorZ 2024-08-22 16:42:41 +02:00
parent 39c1b5a68a
commit c3e39301e2
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 8 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
crates/aiken-project/src/test_framework.rs
View File

@ -507,10 +507,8 @@ impl Prng {
fn as_prng(cst: &PlutusData) -> Prng { fn as_prng(cst: &PlutusData) -> Prng {
if let PlutusData::Constr(Constr { tag, fields, .. }) = cst { if let PlutusData::Constr(Constr { tag, fields, .. }) = cst {
if *tag == 121 + Prng::SEEDED { if *tag == 121 + Prng::SEEDED {
if let [ if let [PlutusData::BoundedBytes(bytes), PlutusData::BoundedBytes(choices)] =
PlutusData::BoundedBytes(bytes), &fields[..]
PlutusData::BoundedBytes(choices),
] = &fields[..]
{ {
return Prng::Seeded { return Prng::Seeded {
choices: choices.to_vec(), choices: choices.to_vec(),
@ -1089,11 +1087,9 @@ impl TryFrom<TypedExpr> for Assertion<TypedExpr> {
final_else, final_else,
.. ..
} => { } => {
if let [ if let [IfBranch {
IfBranch {
condition, body, .. condition, body, ..
}, }] = &branches[..]
] = &branches[..]
{ {
let then_is_true = match body { let then_is_true = match body {
TypedExpr::Var { TypedExpr::Var {
@ -1513,14 +1509,13 @@ mod test {
} }
"#}); "#});
assert!( assert!(prop
prop.run::<()>( .run::<()>(
42, 42,
PropertyTest::DEFAULT_MAX_SUCCESS, PropertyTest::DEFAULT_MAX_SUCCESS,
&PlutusVersion::default() &PlutusVersion::default()
) )
.is_success() .is_success());
);
} }
#[test] #[test]