logos-blockchain/logos-execution-zone
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-execution-zone.git synced 2026-08-26 11:51:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

test(lee): assert failure reasons in should-fail proving tests

Browse Source
This commit is contained in:
Artem Gureev
2026-08-23 09:35:41 +00:00
parent 4683dbb0f4
commit c09b1ed778
1 changed files with 21 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lee/state_machine/src/state/tests/privacy_preserving.rs
+21 -5
View File
@@ -1,5 +1,21 @@
use super::*;
fn assert_circuit_proving_failure<T>(result: &Result<T, LeeError>, expected: &str) {
assert!(
matches!(result, Err(LeeError::CircuitProvingError(msg)) if msg.contains(expected)),
"expected CircuitProvingError containing {expected:?}, got: {:?}",
result.as_ref().err()
);
}
fn assert_program_prove_failure<T>(result: &Result<T, LeeError>, expected: &str) {
assert!(
matches!(result, Err(LeeError::ProgramProveFailed(msg)) if msg.contains(expected)),
"expected ProgramProveFailed containing {expected:?}, got: {:?}",
result.as_ref().err()
);
}
#[test]
fn transition_from_privacy_preserving_transaction_shielded() {
let sender_keys = test_public_account_keys_1();
@@ -260,7 +276,7 @@ fn burner_program_should_fail_in_privacy_preserving_circuit() {
&program.into(),
);
assert!(matches!(result, Err(LeeError::CircuitProvingError(_))));
assert_circuit_proving_failure(&result, "Total balance across accounts is not preserved");
}
#[test]
@@ -283,7 +299,7 @@ fn minter_program_should_fail_in_privacy_preserving_circuit() {
&program.into(),
);
assert!(matches!(result, Err(LeeError::CircuitProvingError(_))));
assert_circuit_proving_failure(&result, "Total balance across accounts is not preserved");
}
#[test]
@@ -306,7 +322,7 @@ fn nonce_changer_program_should_fail_in_privacy_preserving_circuit() {
&program.into(),
);
assert!(matches!(result, Err(LeeError::CircuitProvingError(_))));
assert_circuit_proving_failure(&result, "Unallowed modification of nonce");
}
#[test]
@@ -329,7 +345,7 @@ fn data_changer_program_should_fail_for_non_owned_account_in_privacy_preserving_
&program.into(),
);
assert!(matches!(result, Err(LeeError::CircuitProvingError(_))));
assert_circuit_proving_failure(&result, "Unauthorized modification of data");
}
#[test]
@@ -360,7 +376,7 @@ fn data_changer_program_should_fail_for_too_large_data_in_privacy_preserving_cir
&program.into(),
);
assert!(matches!(result, Err(LeeError::ProgramProveFailed(_))));
assert_program_prove_failure(&result, "provided data should fit into data limit");
}
#[test]