Commit 117c9a42 authored by Adrian Sutton's avatar Adrian Sutton Committed by GitHub

cannon: Default load-elf to output state.bin.gz (#12367)

Update README to use singlethreaded-2 since the old singlethreaded likely isn't available if just compiling the latest version.
parent dee44ec6
...@@ -29,8 +29,8 @@ cd ../cannon ...@@ -29,8 +29,8 @@ cd ../cannon
make cannon make cannon
# Transform MIPS op-program client binary into first VM state. # Transform MIPS op-program client binary into first VM state.
# This outputs state.json (VM state) and meta.json (for debug symbols). # This outputs state.bin.gz (VM state) and meta.json (for debug symbols).
./bin/cannon load-elf --type singlethreaded --path=../op-program/bin/op-program-client.elf ./bin/cannon load-elf --type singlethreaded-2 --path=../op-program/bin/op-program-client.elf
# Run cannon emulator (with example inputs) # Run cannon emulator (with example inputs)
# Note that the server-mode op-program command is passed into cannon (after the --), # Note that the server-mode op-program command is passed into cannon (after the --),
...@@ -45,7 +45,7 @@ make cannon ...@@ -45,7 +45,7 @@ make cannon
--proof-at '=<TRACE_INDEX>' \ --proof-at '=<TRACE_INDEX>' \
--stop-at '=<STOP_INDEX>' \ --stop-at '=<STOP_INDEX>' \
--snapshot-at '%1000000000' \ --snapshot-at '%1000000000' \
--input ./state.json \ --input ./state.bin.gz \
-- \ -- \
../op-program/bin/op-program \ ../op-program/bin/op-program \
--network op-mainnet \ --network op-mainnet \
......
...@@ -32,7 +32,7 @@ var ( ...@@ -32,7 +32,7 @@ var (
LoadELFOutFlag = &cli.PathFlag{ LoadELFOutFlag = &cli.PathFlag{
Name: "out", Name: "out",
Usage: "Output path to write state to. State is dumped to stdout if set to '-'. Not written if empty. Use file extension '.bin', '.bin.gz', or '.json' for binary, compressed binary, or JSON formats.", Usage: "Output path to write state to. State is dumped to stdout if set to '-'. Not written if empty. Use file extension '.bin', '.bin.gz', or '.json' for binary, compressed binary, or JSON formats.",
Value: "state.json", Value: "state.bin.gz",
Required: false, Required: false,
} }
LoadELFMetaFlag = &cli.PathFlag{ LoadELFMetaFlag = &cli.PathFlag{
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment