dotnet

dafny-lang · Nov 7, 2023 · 74012cc · 74012cc
1 parent 946a69d
commit 74012cc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/test.sh b/scripts/test.sh
@@ -16,6 +16,7 @@ fi
 
 if [ "$TARGET_LANG" = "cs" ]
 then 
+  dotnet new console
   dotnet add package System.Security.Cryptography.Algorithms --version 4.3.1
 fi