File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -1414,19 +1414,19 @@ fn test_clear_invalid_execute_signature() {
14141414 1 ,
14151415 1 ,
14161416 1 ,
1417- ProofMode :: Groth16 ,
1417+ ProofMode :: Compressed ,
14181418 ExecutionStatus :: Executed ,
1419- true ,
1419+ false ,
14201420 ) ;
14211421
14221422 // Corrupt the execute signature.
14231423 if let VAppTransaction :: Clear ( ref mut clear) = clear_tx {
14241424 clear. execute . signature [ 0 ] ^= 0xFF ;
14251425 }
14261426
1427- // Execute should fail with ExecutorMismatch because corrupted signature leads to wrong signer .
1427+ // Execute should fail with InvalidSignature because corrupted signature cannot be verified .
14281428 let result = test. state . execute :: < MockVerifier > ( & clear_tx) ;
1429- assert ! ( matches!( result, Err ( VAppPanic :: ExecutorMismatch { .. } ) ) ) ;
1429+ assert ! ( matches!( result, Err ( VAppPanic :: InvalidSignature { .. } ) ) ) ;
14301430}
14311431
14321432#[ test]
@@ -2191,9 +2191,9 @@ fn test_clear_invalid_verifier_signature() {
21912191 }
21922192 }
21932193
2194- // Execute should fail with InvalidSignature due to corrupted verifier signature .
2194+ // Execute should fail with InvalidVerifierSignature .
21952195 let result = test. state . execute :: < MockVerifier > ( & clear_tx) ;
2196- assert ! ( matches!( result, Err ( VAppPanic :: InvalidSignature { .. } ) ) ) ;
2196+ assert ! ( matches!( result, Err ( VAppPanic :: InvalidVerifierSignature ) ) ) ;
21972197}
21982198
21992199#[ test]
You can’t perform that action at this time.
0 commit comments