Revision 974da4819e9255a0f00be545179b10a0017482f0 authored by Raphaƫl Cauderlier on 23 July 2019, 12:10:04 UTC, committed by Pierre Boutillier on 21 October 2019, 12:25:35 UTC
The semantics of the STEPS_TO_QUOTA instruction changes each time the gas constants are modified to better reflect the real costs. Moreover, because of STEPS_TO_QUOTA, the interpreter is not monotonic: it is easy to write a contract that runs successfully at some gas amount but fails when more gas is given.
1 parent 22d2fa7
update_opam_test.sh
#! /bin/sh
set -e
script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
src_dir="$(dirname "$script_dir")"
. "$script_dir/opam-pin.sh"
tmp=$(mktemp)
sed -z 's/^\(.*##BEGIN_OPAM##\n\).*\(\n##END_OPAM##.*\)$/\1/' "$src_dir/.gitlab-ci.yml" > $tmp
cpt=0
for package in $packages; do
num=$(printf "%02d" $cpt)
cpt=$((cpt+1))
cat >> $tmp <<EOF
opam:$num:$package:
<<: *opam_definition
variables:
package: $package
EOF
done
sed -z 's/^\(.*##BEGIN_OPAM##\n\).*\(\n##END_OPAM##.*\)$/\2/' "$src_dir/.gitlab-ci.yml" >> $tmp
mv $tmp "$src_dir/.gitlab-ci.yml"
Computing file changes ...