are more test files from examples to evaluation. notebook for generat…

…ing evaluation data, rename showcase files
marcoeilers · May 12, 2024 · e0b70f2 · e0b70f2
1 parent 1d8c403
commit e0b70f2
Show file tree

Hide file tree

Showing 20 changed files with 1,245 additions and 370 deletions.
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -6,9 +6,12 @@ if [ "$1" = "run_all_tests" ]; then
 elif [ "$1" = "nothing" ]; then
   echo "shutdown"
 elif [ "$1" = "silicon" ]; then
-  pytest src/nagini_translation/tests.py --silicon --single-test "$1"
+  pytest src/nagini_translation/tests.py --silicon --single-test "$2"
 elif [ "$1" = "carbon" ]; then
-  pytest src/nagini_translation/tests.py --carbon --single-test "$1"
+  pytest src/nagini_translation/tests.py --carbon --single-test "$2"
+elif [ "$1" = "evaluate_file" ]; then
+  python src/nagini_translation/main.py --verifier "$2" --write-viper-to-file file.vpr "$3"
+  wc -l file.vpr
 else
-  pytest src/nagini_translation/tests.py --carbon --single-test "$1"
+  pytest src/nagini_translation/tests.py --carbon --single-test "$2"
 fi