slither/scripts/ci_test_kspec.sh

#!/bin/bash

DIR_TESTS="tests/check-kspec"

solc use "0.5.0"
slither-check-kspec "$DIR_TESTS/safeAdd/safeAdd.sol" "$DIR_TESTS/safeAdd/spec.md" > test_1.txt 2>&1
DIFF=$(diff test_1.txt "$DIR_TESTS/test_1.txt")
if [  "$DIFF" != "" ]
then
    echo "slither-check-upgradeability 1 failed"
    cat test_1.txt
    echo ""
    cat "$DIR_TESTS/test_1.txt"
    exit 255
fi

rm test_1.txt
Create slither-check-kspec tool 5 years ago			`#!/bin/bash`

			`DIR_TESTS="tests/check-kspec"`

Refactor regression tests: - Rename travis_ to ci_ - Move shared code to scripts/ci_tests.sh - Rename _4 /_5 to detectors_4 / detectors_5 - Rename generation scripts - Create solidity 6 / 7 scripts (but there is no test for now) - Use solc-select - Update CONTRIBUTING.md guidelines 4 years ago			`solc use "0.5.0"`
			`slither-check-kspec "$DIR_TESTS/safeAdd/safeAdd.sol" "$DIR_TESTS/safeAdd/spec.md" > test_1.txt 2>&1`
Create slither-check-kspec tool 5 years ago			`DIFF=$(diff test_1.txt "$DIR_TESTS/test_1.txt")`
linting: Solve shell linting errors 4 years ago			`if [ "$DIFF" != "" ]`
Create slither-check-kspec tool 5 years ago			`then`
			`echo "slither-check-upgradeability 1 failed"`
			`cat test_1.txt`
			`echo ""`
			`cat "$DIR_TESTS/test_1.txt"`
linting: Solve shell linting errors 4 years ago			`exit 255`
Create slither-check-kspec tool 5 years ago			`fi`

			`rm test_1.txt`