You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
426 B
17 lines
426 B
#!/bin/bash
|
|
|
|
FILENAME=$1
|
|
|
|
if [ -z "$1" ] ; then
|
|
echo "Usage for individual test cases: test.sh FILEPATH, where FILEPATH is the location of the python file"
|
|
exit 1
|
|
fi
|
|
|
|
echo "Testing file ${FILENAME}"
|
|
|
|
java -cp "chocopy-ref.jar:target/assignment.jar" chocopy.ChocoPy --pass=sr \
|
|
${FILENAME} --out=${FILENAME}.ast.typed
|
|
|
|
java -cp "chocopy-ref.jar:target/assignment.jar" chocopy.ChocoPy \
|
|
--pass=ss --test ${FILENAME}
|