kythe.io@v0.0.68-0.20240422202219-7225dbc01741/kythe/cxx/verifier/testdata/test_singleton_fs.sh (about)

     1  #!/bin/bash
     2  # This script checks that the verifier properly handles singleton checking.
     3  HAD_ERRORS=0
     4  VERIFIER="../verifier"
     5  TEST_INPUT="$1"
     6  TEST_EXPECTED="$2"
     7  cd "$(dirname "$0")"
     8  "${VERIFIER}" --file_vnames=false --check_for_singletons=true \
     9      --use_fast_solver=true "${TEST_INPUT}" < /dev/null 2>&1 \
    10      | sed '/0x[0-9a-fA-F]*/d;s/E.*]//' \
    11      | diff - "${TEST_EXPECTED}"
    12  RESULTS=( ${PIPESTATUS[0]} ${PIPESTATUS[2]} )
    13  if [ ${RESULTS[0]} -ne 1 ]; then
    14    echo "[ VERIFIER DID NOT FAIL ]"
    15    HAD_ERRORS=1
    16  elif [ ${RESULTS[1]} -ne 0 ]; then
    17    echo "[ WRONG ERROR TEXT ]"
    18    HAD_ERRORS=1
    19  else
    20    echo "[ OK ]"
    21  fi
    22  exit ${HAD_ERRORS}