# 
# File: test-C1.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2023-03-01 (2023-05-12/Manfred)
# -----------------------------------------------------
# Call: cbshell -v test-C1.cbs
# This script is self-sufficient. Derived from test-Constraints-cbs. Tests only C1



# connect 
startServer -t no -u nonpersistent -e -1


# cd oHome
echo "Preparing oHome module ..."
tellModel "00-oHome.sml.txt"
showAnswer
why

mkdir MultiDim
cd MultiDim
echo "Preparing MultiDim module ..."
tellModel "01-multidim-constructs.sml.txt"
showAnswer
why


cd MultiDim
echo "Adding constraints to MultiDim module ..."
tellModel "01a-Constraints.sml.txt"
showAnswer
why

cd MultiDim
mkdir TestC1neg1
cd TestC1neg1

# should fail:
tellModel c1-neg1.sml.txt
showAnswer
why

cd MultiDim
mkdir TestC1neg2
cd TestC1neg2

# should fail:
tellModel c1-neg2.sml.txt
showAnswer
why

# should not fail:
tellModel c1-pos1.sml.txt
showAnswer


cd MultiDim
mkdir TestC1p2
cd TestC1p2

# should not fail:
tellModel c1-pos2.sml.txt
showAnswer