Merge pull request #3 from Certora/vaults-sanity

pickx · web-flow · commit 3ebe7595d5b2 · 2025-11-02T22:30:01.000+02:00
sanity for fluid's vaults::liquidate (part 2)
diff --git a/spl/src/token_interface.rs b/spl/src/token_interface.rs
@@ -24,6 +24,13 @@ impl anchor_lang::AccountDeserialize for TokenAccount {
     }
 }
 
+impl TokenAccount {
+    /// CERTORA: used to create a new instance for verification purposes
+    pub fn new_unchecked(inner: spl_token_2022::state::Account) -> Self {
+        Self(inner)
+    }
+}
+
 impl anchor_lang::AccountSerialize for TokenAccount {}
 
 impl anchor_lang::Owners for TokenAccount {

Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,13 @@ impl anchor_lang::AccountDeserialize for TokenAccount {`
`24`	`24`	`}`
`25`	`25`	`}`
`26`	`26`
	`27`	`+impl TokenAccount {`
	`28`	`+ /// CERTORA: used to create a new instance for verification purposes`
	`29`	`+ pub fn new_unchecked(inner: spl_token_2022::state::Account) -> Self {`
	`30`	`+ Self(inner)`
	`31`	`+ }`
	`32`	`+}`
	`33`	`+`
`27`	`34`	`impl anchor_lang::AccountSerialize for TokenAccount {}`
`28`	`35`
`29`	`36`	`impl anchor_lang::Owners for TokenAccount {`