From c7cb98e200610c95d59867ef4ae44ea9d8ef4fe4 Mon Sep 17 00:00:00 2001
From: Leo Alt <leo@ethereum.org>
Date: Tue, 19 Mar 2024 09:52:05 +0100
Subject: [PATCH] add test

---
 riscv/tests/riscv_data/sum_serde/Cargo.toml        | 11 +++++++++++
 .../tests/riscv_data/sum_serde/rust-toolchain.toml |  4 ++++
 riscv/tests/riscv_data/sum_serde/src/lib.rs        | 14 ++++++++++++++
 3 files changed, 29 insertions(+)
 create mode 100644 riscv/tests/riscv_data/sum_serde/Cargo.toml
 create mode 100644 riscv/tests/riscv_data/sum_serde/rust-toolchain.toml
 create mode 100644 riscv/tests/riscv_data/sum_serde/src/lib.rs

diff --git a/riscv/tests/riscv_data/sum_serde/Cargo.toml b/riscv/tests/riscv_data/sum_serde/Cargo.toml
new file mode 100644
index 000000000..965595be6
--- /dev/null
+++ b/riscv/tests/riscv_data/sum_serde/Cargo.toml
@@ -0,0 +1,11 @@
+[package]
+name = "sum"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+powdr-riscv-runtime = { path = "../../../../riscv-runtime" }
+serde = { version = "1.0", default-features = false, features = ["alloc", "derive", "rc"] }
+serde_cbor = { version = "0.11.2", default-features = false, features = ["alloc"] }
+
+[workspace]
diff --git a/riscv/tests/riscv_data/sum_serde/rust-toolchain.toml b/riscv/tests/riscv_data/sum_serde/rust-toolchain.toml
new file mode 100644
index 000000000..ffe8ad460
--- /dev/null
+++ b/riscv/tests/riscv_data/sum_serde/rust-toolchain.toml
@@ -0,0 +1,4 @@
+[toolchain]
+channel = "nightly-2024-02-01"
+targets = ["riscv32imac-unknown-none-elf"]
+profile = "minimal"
diff --git a/riscv/tests/riscv_data/sum_serde/src/lib.rs b/riscv/tests/riscv_data/sum_serde/src/lib.rs
new file mode 100644
index 000000000..61ca0363f
--- /dev/null
+++ b/riscv/tests/riscv_data/sum_serde/src/lib.rs
@@ -0,0 +1,14 @@
+#![no_std]
+
+extern crate alloc;
+use alloc::vec::Vec;
+
+use powdr_riscv_runtime::{coprocessors::get_data_serde, get_prover_input};
+
+#[no_mangle]
+pub fn main() {
+    let proposed_sum = get_prover_input(0);
+    let data: Vec<u32> = get_data_serde(42);
+    let sum: u32 = data.iter().sum();
+    assert_eq!(sum, proposed_sum);
+}