From 345268e1de8988eb2a55f8351140bd414387e3a8 Mon Sep 17 00:00:00 2001 From: Maddiaa <47148561+cheethas@users.noreply.github.com> Date: Sat, 29 Apr 2023 21:27:47 +0100 Subject: [PATCH] Update README.md example compilation has moved dir --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4d796a487..75e34ad54 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ it is easy to adapt powdr assembly to a different kind of VM. rustup target add riscv32imc-unknown-none-elf # Run the compiler. It will generate files in /tmp/. # -i specifies the prover witness input (see below) -cargo run --release rust tests/riscv_data/sum.rs -o /tmp -f -i 10,2,4,6 +cargo run --release rust riscv/tests/riscv_data/sum.rs -o /tmp -f -i 10,2,4,6 ``` The following example Rust file verifies that a supplied list of integers sums up to a specified value.