Add .equiv file that compares .slice with similar .split syntax

rkalis · rkalis · commit e4adb9d4e043 · 2025-07-23T16:14:13.000+02:00
diff --git a/packages/cashc/test/cashproof/slice.equiv b/packages/cashc/test/cashproof/slice.equiv
@@ -0,0 +1,10 @@
+!full_script=True;
+
+# We are unable to run cashproof any more due to Python ecosystem issues, but we're including this file for reference.
+
+# x.slice(10, 25) & x.split(25)[0].split(10)[1]
+25 OP_SPLIT OP_DROP OP_10 OP_SPLIT OP_NIP
+<=>
+# x.split(10)[1].split(15)[0]
+OP_10 OP_SPLIT OP_NIP OP_15 OP_SPLIT OP_DROP
+;
