test: fix order of proof path list

zjp-CN · zjp-CN · commit 95342401f227 · 2025-04-15T17:42:58.000+08:00
diff --git a/tests/proofs.rs b/tests/proofs.rs
@@ -14,12 +14,13 @@ fn test_proofs() -> eyre::Result<()> {
         }
     }
 
+    proofs.sort();
     expect![[r#"
         [
+            "tests/proofs/ad_hoc.rs",
             "tests/proofs/proofs_for_contract.rs",
-            "tests/proofs/standard_proofs_with_contracts.rs",
             "tests/proofs/standard_proofs.rs",
-            "tests/proofs/ad_hoc.rs",
+            "tests/proofs/standard_proofs_with_contracts.rs",
         ]
     "#]]
     .assert_debug_eq(&proofs);

Original file line number	Diff line number	Diff line change
`@@ -14,12 +14,13 @@ fn test_proofs() -> eyre::Result<()> {`
`14`	`14`	`}`
`15`	`15`	`}`
`16`	`16`
	`17`	`+ proofs.sort();`
`17`	`18`	`expect![[r#"`
`18`	`19`	`[`
	`20`	`+ "tests/proofs/ad_hoc.rs",`
`19`	`21`	`"tests/proofs/proofs_for_contract.rs",`
`20`		`- "tests/proofs/standard_proofs_with_contracts.rs",`
`21`	`22`	`"tests/proofs/standard_proofs.rs",`
`22`		`- "tests/proofs/ad_hoc.rs",`
	`23`	`+ "tests/proofs/standard_proofs_with_contracts.rs",`
`23`	`24`	`]`
`24`	`25`	`"#]]`
`25`	`26`	`.assert_debug_eq(&proofs);`