From fc850b18fe53b8d8bfb8478b680b699a19b46e56 Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Tue, 29 Aug 2023 15:36:03 +0200 Subject: [PATCH] C#: Base ReadOnlyContainer tests on stubs. --- csharp/ql/test/query-tests/ReadOnlyContainer/options | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/csharp/ql/test/query-tests/ReadOnlyContainer/options b/csharp/ql/test/query-tests/ReadOnlyContainer/options index 9ba0ece44ca..77b22963f5c 100644 --- a/csharp/ql/test/query-tests/ReadOnlyContainer/options +++ b/csharp/ql/test/query-tests/ReadOnlyContainer/options @@ -1 +1,2 @@ -semmle-extractor-options: /r:System.Collections.dll +semmle-extractor-options: /nostdlib /noconfig +semmle-extractor-options: --load-sources-from-project:${testdir}/../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj