tests/00-basic-predicate.sh

   1 #!/usr/bin/env bash
   2 # Goals test.
   3 # Copyright (C) 2020 Richard W.M. Jones
   4 # Copyright (C) 2020 Red Hat Inc.
   5 #
   6 # This program is free software; you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation; either version 2 of the License, or
   9 # (at your option) any later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License along
  17 # with this program; if not, write to the Free Software Foundation, Inc.,
  18 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  19
  20 set -e
  21
  22 goals -s -f 00-basic-predicate.gl > 00-basic-predicate.out
  23
  24 for animal in daisy dylan florence; do
  25     if test "$(grep "$animal" 00-basic-predicate.out)" != "$animal is a sheep
  26 $animal needs transformation
  27 transform sheep $animal to cow $animal
  28 $animal is a cow"; then
  29         echo "$0: output failed for $animal:"
  30         cat 00-basic-predicate.out
  31         exit 1
  32     fi
  33 done
  34
  35 rm 00-basic-predicate.out