Merge pull request #30 from rems-project/mdd/check-all-script

Add a script `check-all.sh` to check all examples in `example-archive`, recategorize a couple of failing examples

src/example-archive/check-all.sh

@@ -0,0 +1,43 @@
+#!/usr/bin/env bash 
+
+if [ -n "$1" ]
+then
+ echo "check-all.sh: using CN=$1 in $PWD"
+ CN="$1"
+else
+ CN=cn
+fi
+
+subdirs=(
+ "c-testsuite" 
+ "dafny-tutorial" 
+ "java_program_verification_challenges" 
+ "negative-examples"
+ "open-sut"
+ "Rust" 
+ "SAW" 
+ "simple-examples"
+)
+FAILURE=0 
+
+for subdir in "${subdirs[@]}"; do
+ cd "$subdir" || continue
+
+ ../check.sh $CN 
+
+ if [ $? != 0 ]
+ then 
+ FAILURE=1
+ fi 
+
+ cd ..
+done
+
+if [ $FAILURE -eq 0 ];
+then
+ printf "\n\033[32mTest suite passes:\033[0m all CN tests in the example archive produced expected return codes\n"
+ exit 0
+else 
+ printf "\n\033[31mTest suite fails:\033[0m one or more CN tests in the example archive produced an unexpected return code\n"
+ exit 1
+fi

src/example-archive/check.sh

@@ -2,7 +2,7 @@
 
 if [ -n "$1" ]
 then
- echo "using CN=$1 in $PWD"
+ echo "check.sh: using CN=$1 in $PWD"
  CN="$1"
 else
  CN=cn