fix: dafny testing reporting (#32)

aws · Oct 11, 2023 · b298b9a · b298b9a
1 parent f118bd4
commit b298b9a
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 6 deletions.
diff --git a/AwsCryptographicMaterialProviders/Makefile b/AwsCryptographicMaterialProviders/Makefile
@@ -44,9 +44,14 @@ compile_test_net:
 		-library:src/Index.dfy
 
 test_net:
-	dotnet run \
+	@exit $(shell dotnet run \
 		--project runtimes/net/tests/ \
-		--framework net6.0
+		--framework net6.0 | tee /dev/stderr | grep -c "FAILED")
+
+test_net_mac_intel:
+	@exit $(shell DYLD_LIBRARY_PATH="/usr/local/opt/openssl@1.1/lib" dotnet run \
+		--project runtimes/net/tests/ \
+		--framework net6.0 | tee /dev/stderr | grep -c "FAILED")
 
 setup_net:
 	dotnet restore runtimes/net/
diff --git a/AwsCryptographyPrimitives/Makefile b/AwsCryptographyPrimitives/Makefile
@@ -44,9 +44,14 @@ compile_test_net:
 		-library:src/Index.dfy
 
 test_net:
-	dotnet run \
+	@exit $(shell dotnet run \
 		--project runtimes/net/tests/ \
-		--framework net6.0
+		--framework net6.0 | tee /dev/stderr | grep -c "FAILED")
+
+test_net_mac_intel:
+	@exit $(shell DYLD_LIBRARY_PATH="/usr/local/opt/openssl@1.1/lib" dotnet run \
+		--project runtimes/net/tests/ \
+		--framework net6.0 | tee /dev/stderr | grep -c "FAILED")
 
 setup_net:
 	dotnet restore runtimes/net/
diff --git a/ComAmazonawsKms/Makefile b/ComAmazonawsKms/Makefile
@@ -44,9 +44,14 @@ compile_test_net:
 		-library:src/Index.dfy
 
 test_net:
-	dotnet run \
+	@exit $(shell dotnet run \
 		--project runtimes/net/tests/ \
-		--framework net6.0
+		--framework net6.0 | tee /dev/stderr | grep -c "FAILED")
+
+test_net_mac_intel:
+	@exit $(shell DYLD_LIBRARY_PATH="/usr/local/opt/openssl@1.1/lib" dotnet run \
+		--project runtimes/net/tests/ \
+		--framework net6.0 | tee /dev/stderr | grep -c "FAILED")
 
 setup_net:
 	dotnet restore runtimes/net/