From 59f58a0155b1b4895444ff201ee65adb7224e2e2 Mon Sep 17 00:00:00 2001 From: Thierry Marianne Date: Fri, 15 Oct 2021 13:32:21 +0400 Subject: [PATCH] Move module name insertion into source as comment from backend to frontend --- provisioning/web-server/safepkt/templates/verify.sh | 7 ------- 1 file changed, 7 deletions(-) diff --git a/provisioning/web-server/safepkt/templates/verify.sh b/provisioning/web-server/safepkt/templates/verify.sh index 2d5e1c8..fab8253 100644 --- a/provisioning/web-server/safepkt/templates/verify.sh +++ b/provisioning/web-server/safepkt/templates/verify.sh @@ -36,13 +36,6 @@ function verify() { sed -i 's/'"${smart_contract_example}"'/'"${package_name}"'/g' /safepkt-ink/examples/source/.ink/abi_gen/Cargo.toml && \ sed -i 's/'"${smart_contract_example}"'/'"${package_name}"'/g' /safepkt-ink/examples/source/src/lib.rs - if [ "$(grep -c '"'"project_name"'"' /safepkt-ink/examples/source/src/lib.rs)" == "0" ]; - then - echo "" >> /safepkt-ink/examples/source/src/lib.rs && \ - echo "// {"'"'"project_name"'"'": "'"'"${smart_contract_example}"'"'"}" >> /safepkt-ink/examples/source/src/lib.rs && \ - echo "" >> /safepkt-ink/examples/source/src/lib.rs - fi - cargo verify --backend=klee --script=./commands.sh --tests } verify "${1}" "${2}" ${3} \ No newline at end of file