feat: generate random transactions for the eval endpoint

build.rs

@@ -81,7 +81,7 @@ mod testgen_hs {
             return;
         }
 
-        let testgen_lib_version = "10.4.1.0";
+        let testgen_lib_version = "10.4.1.1";
 
         let suffix = if target_os == "windows" {
             ".zip"

flake.nix

@@ -11,7 +11,7 @@
     flake-compat.flake = false;
     cardano-node.url = "github:IntersectMBO/cardano-node/10.4.1";
     cardano-node.flake = false; # otherwise, +2k dependencies we don’t really use
-    testgen-hs.url = "github:input-output-hk/testgen-hs/10.4.1.0"; # make sure it follows cardano-node
+    testgen-hs.url = "github:input-output-hk/testgen-hs/10.4.1.1"; # make sure it follows cardano-node
     testgen-hs.flake = false; # otherwise, +2k dependencies we don’t really use
     devshell.url = "github:numtide/devshell";
     devshell.inputs.nixpkgs.follows = "nixpkgs";

nix/devshells.nix

@@ -72,6 +72,10 @@ in {
         name = "TESTGEN_HS_PATH";
         value = lib.getExe internal.testgen-hs;
       }
+      {
+        name = "RUST_SRC_PATH";
+        value = "${internal.rustPackages.rust-src}/lib/rustlib/src/rust/library";
+      }
     ]
     ++ lib.optionals pkgs.stdenv.isDarwin [
       {

nix/internal/unix.nix

@@ -217,24 +217,7 @@ in
         done
       '';
 
-    testgen-hs-flake = let
-      unpatched = inputs.testgen-hs;
-    in
-      (import inputs.flake-compat {
-        src =
-          if targetSystem != "aarch64-linux"
-          then unpatched
-          else {
-            outPath = toString (pkgs.runCommand "source" {} ''
-              cp -r ${unpatched} $out
-              chmod -R +w $out
-              cd $out
-              patch -p1 -i ${./testgen-hs--enable-aarch64-linux.diff}
-            '');
-            inherit (unpatched) rev shortRev lastModified lastModifiedDate;
-          };
-      })
-      .defaultNix;
+    testgen-hs-flake = (import inputs.flake-compat {src = inputs.testgen-hs;}).defaultNix;
 
     testgen-hs = testgen-hs-flake.packages.${targetSystem}.default;
 

src/api/utils/txs/evaluate/model.rs

@@ -17,13 +17,13 @@ pub struct TxEvaluationRequest {
 }
 
 pub type AdditionalUtxoSet = Vec<(TxIn, TxOut)>;
-#[derive(Deserialize)]
+#[derive(Deserialize, Debug)]
 pub struct TxIn {
     #[serde(rename = "txId")]
     pub tx_id: String,
     pub index: u64,
 }
-#[derive(Deserialize)]
+#[derive(Deserialize, Debug)]
 pub struct TxOut {
     pub address: String,
     pub value: Value,
@@ -77,21 +77,21 @@ impl From<ScriptNative> for NativeScript {
     }
 }
 
-#[derive(Deserialize)]
+#[derive(Deserialize, Debug)]
 #[serde(untagged)]
 pub enum Datum {
     String(String),
     Map(HashMap<String, String>),
 }
 
-#[derive(Deserialize)]
+#[derive(Deserialize, Debug)]
 pub struct Value {
     pub coins: u64,
     pub assets: Option<HashMap<String, u64>>, // asset name and number. Asset number can be negative when burning assets but this behaviour changed in Conway. Now it can be only PositiveCoin
 }
 
 // This is originally missing PlutusV3 since blockfrost uses Ogmios v5.6 which has slightly different data structure
-#[derive(Deserialize)]
+#[derive(Deserialize, Debug)]
 //#[serde(untagged)]
 pub enum Script {
     #[serde(rename = "plutus:v1")]
@@ -104,7 +104,7 @@ pub enum Script {
     Native(ScriptNative),
 }
 
-#[derive(Deserialize)]
+#[derive(Deserialize, Debug)]
 pub enum ScriptNative {
     #[serde(rename = "any")]
     Any(Vec<ScriptNative>),

src/cbor/tests.rs

@@ -11,6 +11,8 @@ use std::process::Command;
 #[cfg(not(feature = "tarpaulin"))]
 mod random;
 #[cfg(not(feature = "tarpaulin"))]
+mod random_eval_tx;
+#[cfg(not(feature = "tarpaulin"))]
 mod specific;
 
 #[derive(Deserialize, Debug)]
@@ -30,6 +32,7 @@ pub struct CborTestSeed {
 #[derive(Debug, Clone, Copy)]
 #[allow(non_camel_case_types, dead_code)]
 pub enum CaseType {
+    Tx_Conway,
     ApplyTxErr_Byron,
     ApplyTxErr_Shelley,
     ApplyTxErr_Allegra,