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

fix: formatting

This commit is contained in:
Pi Lanningham 2025-02-17 15:39:24 -05:00 committed by Lucas
parent 17a75d2481
commit ec6f1f84e2
2 changed files with 8 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
crates/aiken-lang/src/test_framework.rs
View File

@ -338,16 +338,11 @@ impl PropertyTest {
) { ) {
Ok(None) => (Vec::new(), Ok(None), n), Ok(None) => (Vec::new(), Ok(None), n),
Ok(Some(counterexample)) => ( Ok(Some(counterexample)) => (
self.eval(&counterexample.value, plutus_version) self.eval(&counterexample.value, plutus_version).logs(),
.logs(),
Ok(Some(counterexample.value)), Ok(Some(counterexample.value)),
n - remaining, n - remaining,
), ),
Err(FuzzerError { logs, uplc_error }) => ( Err(FuzzerError { logs, uplc_error }) => (logs, Err(uplc_error), n - remaining + 1),
logs,
Err(uplc_error),
n - remaining + 1,
),
}; };
PropertyTestResult { PropertyTestResult {
@ -495,8 +490,9 @@ pub enum BenchmarkError {
impl BenchmarkError { impl BenchmarkError {
pub fn logs(&self) -> &[String] { pub fn logs(&self) -> &[String] {
match self { match self {
BenchmarkError::SamplerError { logs, .. } BenchmarkError::SamplerError { logs, .. } | BenchmarkError::BenchError { logs, .. } => {
| BenchmarkError::BenchError { logs, .. } => logs.as_slice(), logs.as_slice()
}
} }
} }
} }

4
crates/uplc/src/machine/runtime.rs
View File

@ -1,5 +1,7 @@
use super::{ use super::{
cost_model::{BuiltinCosts, ExBudget}, value::{from_pallas_bigint, to_pallas_bigint}, Error, Trace, Value cost_model::{BuiltinCosts, ExBudget},
value::{from_pallas_bigint, to_pallas_bigint},
Error, Trace, Value,
}; };
use crate::{ use crate::{
ast::{Constant, Data, Type}, ast::{Constant, Data, Type},