From c21d9ecd4d2f50f94ff378ca2381bd914e07ce08 Mon Sep 17 00:00:00 2001
From: Szabo Gergely <gege251@mailbox.org>
Date: Thu, 7 Nov 2024 14:57:31 +0100
Subject: [PATCH] Migrate over csl roundtrip tests

---
 plutus-ledger-api/tests/csl.rs | 132 +++++++++++++++++++++++++++++++++
 1 file changed, 132 insertions(+)
 create mode 100644 plutus-ledger-api/tests/csl.rs

diff --git a/plutus-ledger-api/tests/csl.rs b/plutus-ledger-api/tests/csl.rs
new file mode 100644
index 0000000..78a7fa2
--- /dev/null
+++ b/plutus-ledger-api/tests/csl.rs
@@ -0,0 +1,132 @@
+#[cfg(test)]
+mod csl_pla_roundtrip_tests {
+    use cardano_serialization_lib as csl;
+    use num_bigint::BigInt;
+    use plutus_ledger_api::{
+        csl::{
+            csl_to_pla::{FromCSL, TryFromCSL},
+            pla_to_csl::TryToCSL,
+        },
+        generators::correct::v1::{
+            arb_address, arb_certificate_index, arb_chain_pointer, arb_credential, arb_datum_hash,
+            arb_ed25519_pub_key_hash, arb_minting_policy_hash, arb_plutus_data, arb_script_hash,
+            arb_slot, arb_token_name, arb_transaction_hash, arb_transaction_index,
+            arb_transaction_input, arb_value,
+        },
+        v1::{
+            address::{Address, StakingCredential},
+            value::Value,
+        },
+    };
+    use proptest::{prop_assert_eq, proptest, strategy::Strategy, test_runner::TestCaseError};
+
+    fn try_to_from_prop<B, A: TryToCSL<B> + FromCSL<B> + PartialEq + std::fmt::Debug>(
+        v: A,
+    ) -> Result<(), TestCaseError> {
+        Ok(prop_assert_eq!(
+            A::from_csl(&<A as TryToCSL<B>>::try_to_csl(&v)?),
+            v
+        ))
+    }
+
+    fn try_to_try_from_prop<B, A: TryToCSL<B> + TryFromCSL<B> + PartialEq + std::fmt::Debug>(
+        v: A,
+    ) -> Result<(), TestCaseError> {
+        Ok(prop_assert_eq!(
+            A::try_from_csl(&<A as TryToCSL<B>>::try_to_csl(&v)?)?,
+            v
+        ))
+    }
+
+    proptest! {
+      #[test]
+      fn test_token_name(val in arb_token_name()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_minting_policy_hash(val in arb_minting_policy_hash()) {
+          try_to_from_prop(val)?
+      }
+
+      // This is special because the CSL machinery always puts in at least a zero Ada in the value
+      // But the arbitrary generated value by PLA does not.
+      #[test]
+      fn test_value(val in arb_value()) {
+        let csl_val: csl::Value  = val.try_to_csl()?;
+        prop_assert_eq!(
+          Value::from_csl(&csl_val),
+          // Add a zero ada value.
+          Value::ada_value(&BigInt::from(0)) + val
+        )
+      }
+
+      #[test]
+      fn test_transaction_hash(val in arb_transaction_hash()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_transaction_input(val in arb_transaction_input()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_ed25519_pub_key_hash(val in arb_ed25519_pub_key_hash()) {
+          try_to_from_prop::<csl::Ed25519KeyHash, _>(val)?
+      }
+
+      #[test]
+      fn test_script_hash(val in arb_script_hash()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_staking_credential(val in arb_credential().prop_map(StakingCredential::Hash)) {
+          try_to_from_prop::<csl::Credential, StakingCredential>(val)?
+      }
+
+      #[test]
+      fn test_credential(val in arb_credential()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_slot(val in arb_slot()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_transaction_index(val in arb_transaction_index()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_certificate_index(val in arb_certificate_index()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_chain_pointer(val in arb_chain_pointer()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_plutus_data(val in arb_plutus_data()) {
+          try_to_try_from_prop(val)?
+      }
+
+      #[test]
+      fn test_datum_hash(val in arb_datum_hash()) {
+          try_to_from_prop(val)?
+      }
+
+      #[test]
+      fn test_address(val in arb_address()) {
+        prop_assert_eq!(
+            Address::try_from_csl(&val.with_extra_info(1).try_to_csl()?)?,
+            val
+        )
+      }
+    }
+}