./scripts/build_all_common.sh
./scripts/build_user.sh

./scripts/build_all_common_mpk.sh
./scripts/build_user.sh mpk

./scripts/build_all_common.sh
cargo build --manifest-path user/<appname>/Cargo.toml

./scripts/build_all_common_mpk.sh
Cargo build --features mpk --manifest-path user/<appname>/Cargo.toml

cargo run -p gen-file
vim config.json
mv config.json isol_config/[your-isol-name].json

./scripts/run_tests.sh

./scripts/run_tests.sh mpk

cargo run -- --files isol_config/<workflowname>.json

cargo run --features mpk -- --files isol_config/<workflowname>.json