Skip to content

Commit

Permalink
cannon: Default load-elf to output state.bin.gz (#12367)
Browse files Browse the repository at this point in the history
Update README to use singlethreaded-2 since the old singlethreaded likely isn't available if just compiling the latest version.
  • Loading branch information
ajsutton authored Oct 8, 2024
1 parent dee44ec commit 117c9a4
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions cannon/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,8 +29,8 @@ cd ../cannon
make cannon

# Transform MIPS op-program client binary into first VM state.
# This outputs state.json (VM state) and meta.json (for debug symbols).
./bin/cannon load-elf --type singlethreaded --path=../op-program/bin/op-program-client.elf
# This outputs state.bin.gz (VM state) and meta.json (for debug symbols).
./bin/cannon load-elf --type singlethreaded-2 --path=../op-program/bin/op-program-client.elf

# Run cannon emulator (with example inputs)
# Note that the server-mode op-program command is passed into cannon (after the --),
Expand All @@ -45,7 +45,7 @@ make cannon
--proof-at '=<TRACE_INDEX>' \
--stop-at '=<STOP_INDEX>' \
--snapshot-at '%1000000000' \
--input ./state.json \
--input ./state.bin.gz \
-- \
../op-program/bin/op-program \
--network op-mainnet \
Expand Down
2 changes: 1 addition & 1 deletion cannon/cmd/load_elf.go
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ var (
LoadELFOutFlag = &cli.PathFlag{
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.",
Value: "state.json",
Value: "state.bin.gz",
Required: false,
}
LoadELFMetaFlag = &cli.PathFlag{
Expand Down

0 comments on commit 117c9a4

Please sign in to comment.