Laboratoire de l'Informatique et du Parallélisme » Pobyso

#! /bin/sh

#

#

TEST_BIN=./test-pobyso-evaluate-constant

POBYSO_UNFAITHFUL=129

POBYSO_NAN=130

echo

## Functions

ok_if_fail() {

  echo "$@"

  eval "$TEST_BIN $ARGUMENTS"

if [ $? -eq 0 ] ; then

  echo "Succeeded (but should not have) for $ARGUMENTS"

  exit 1

fi

echo "Correctly failing$WHY."

echo

} # End ok_if_fail

#

##

ok_if_ok() {

  echo "$@"

  eval "$TEST_BIN $ARGUMENTS"

  OUTCOME=$?

if [ $OUTCOME -ne 0 ] ; then

  if [ $OUTCOME -eq $POBYSO_UNFAITHFUL ] ; then

    echo "Result is unfaithfull for $ARGUMENTS"

    echo

    return 0

  fi

  if [ $OUTCOME -eq $POBYSO_NAN ] ; then

    echo "Result is NaN for $ARGUMENTS"

    echo

    return 0

  fi

  echo "Failed for $ARGUMENTS"

  echo

  exit 1

fi

echo

} # End ok_if_ok

##

ARGUMENTS="NULL"

WHY=" (NULL argument)"

ok_if_fail "Testing: $ARGUMENTS"

##

ARGUMENTS="\"1/x+\" \"3\""

WHY=" (because \"1/x+\" is not a valid expression)"

ok_if_fail "Testing: $ARGUMENTS"

##

ARGUMENTS="\"1/x\" \"3+\""

WHY=" (because \"3+\" is not a constant)"

ok_if_fail "Testing: $ARGUMENTS"

##

ARGUMENTS="\"1/x\" \"+infty\""

ok_if_ok "Testing: $ARGUMENTS"

##

ARGUMENTS="\"1/x\" \"+infty\""

ok_if_ok "Testing: $ARGUMENTS"

ARGUMENTS="\"1/x\" \"0\""

WHY=" (because the result is Nan)"

ok_if_ok "Testing: $ARGUMENTS"

ARGUMENTS="\"2*x\" \"4\""

WHY=" (because the result is Nan)"

ok_if_ok "Testing: $ARGUMENTS"

ARGUMENTS="\"sin(x)\" \"pi/2\""

WHY=" (because the result is Nan)"

ok_if_ok "Testing: $ARGUMENTS"

##

echo "Tests terminated without error."

echo