Fuzzing tests for ledger rpc

.github/workflows/rust.yml

@@ -2,13 +2,13 @@ name: Rust
 
 on:
   push:
-    branches: [ "main" ]
+    branches: ["main"]
     paths-ignore:
-      - '**.md'
+      - "**.md"
   pull_request:
-    branches: [ "main" ]
+    branches: ["main"]
     paths-ignore:
-      - '**.md'
+      - "**.md"
 
 env:
   CARGO_TERM_COLOR: always
@@ -88,7 +88,7 @@ jobs:
         with:
           version: "v0.4.0"
       - name: Run cargo test
-        run: cargo test
+        run: cargo test || find -type f -iname '*.proptest-regressions' -exec cat {} +
   coverage:
     runs-on: ubuntu-latest
     env:

examples/demo-rollup/Cargo.toml

@@ -44,3 +44,5 @@ sha2 = { workspace = true }
 reqwest = "0.11"
 tendermint = "0.32"
 tempfile = { workspace = true }
+proptest = { workspace = true }
+sov-rollup-interface = { path = "../../rollup-interface", features = ["fuzzing"] }