Instructions refer to a non-existent make build command #22
Description
The instructions in compose/README.md#build and make help refer to a make build command but not exists. Should we use make build-config instead?
~/antithesis/compose$ make help
Arguments:
registry Container registry URL (Example: us-central1-docker.pkg.dev/molten-verve-216720/cardano-repository/)
testnet Testnet directory name (Example: example_10.2.1)
description Antithesis job description (Default: "<testnet> run")
duration Antithesis job duration in hours (Default: 1)
recipients Antithesis report recipients (Default: [email protected])
url Antithesis API job URL (Default: https://cardano.antithesis.com/api/v1/launch/cardano)
username Antithesis username (Default: cardano)
password Antithesis password
Commands:
anti-debug Request debugger session
anti Run Antithesis job
build-config Build config container image
down Stop local Docker Compose
publish-test-config-image Publish config container image
push-config Push config container image
query Query tip of all pools
up Start Run local Docker Compose
validate Check for consensus among all pools
Examples:
Local run (execute in this order)
make build testnet=example_10.2.1
make up testnet=example_10.2.1
make query testnet=example_10.2.1
make validate testnet=example_10.2.1
make down testnet=example_10.2.1
Antithesis run (execute in this order)
make build testnet=example_10.2.1
make push testnet=example_10.2.1
make anti testnet=example_10.2.1 password='password1234'
Antithesis debugging session
Grab the 'Moment' definition from a report, extract parameters session_id, input_hash, and vtime, then:
make anti password='password1234' session_id=<some session_id> input_hash=<some hash> vtime=<decimal seconds>