add coverage for server code (#13)

tanmaykm · web-flow · commit c54ba2699faf · 2023-01-12T19:41:09.000+05:30
diff --git a/test/server/allany/start_allany_server.sh b/test/server/allany/start_allany_server.sh
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
 SDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-julia $SDIR/allany_server.jl &
+julia --code-coverage=user $SDIR/allany_server.jl &
diff --git a/test/server/petstore_v2/start_petstore_server.sh b/test/server/petstore_v2/start_petstore_server.sh
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
 SDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-julia $SDIR/petstore_server.jl &
+julia --code-coverage=user $SDIR/petstore_server.jl &
diff --git a/test/server/petstore_v3/start_petstore_server.sh b/test/server/petstore_v3/start_petstore_server.sh
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
 SDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-julia $SDIR/petstore_server.jl &
+julia --code-coverage=user $SDIR/petstore_server.jl &
