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
Raw File
check_opam_test.sh
#! /bin/sh

set -e

script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
src_dir="$(dirname "$script_dir")"

opams=$(find "$src_dir/vendors" "$src_dir/src" -name \*.opam -print)

yml="${1:-$src_dir/.gitlab-ci.yml}"

missing=
for opam in $opams; do
    file=$(basename $opam)
    package=${file%.opam}
    if ! grep -qe "opam:..:$package:\$" "$yml"; then
        missing=yes
        echo "Missing test for package '$package'."
    fi
done

tested=$(grep -e '^opam:..:tezos-.*:$' "$yml" | cut -d: -f3)
for package in $tested; do
    found=$(find "$src_dir/src" "$src_dir/vendors" -name $package.opam | wc -l 2>&1)
    if [ $found != 1 ] ; then
        missing=yes
        echo "Test for unknown package '$package'."
    fi
done

if ! [ -z "$missing" ]; then
    echo
    echo "You should update .gitlab-ci.yml by running: ./scripts/update_opam_test.sh"
    echo
    exit 1
fi
back to top