github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-09 14:48:16 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source 
example compilation has moved dir
This commit is contained in:
Maddiaa
2023-04-29 21:27:47 +01:00
committed by GitHub
parent bc9033ee1c
commit 345268e1de
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -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.