Skip to content

Commit fd99e1f

Browse files
committed
C#: Add test case with nuget package containing tools
1 parent 2273bb1 commit fd99e1f

File tree

3 files changed

+106
-0
lines changed

3 files changed

+106
-0
lines changed

csharp/ql/integration-tests/posix-only/standalone_dependencies_nuget/Assemblies.expected

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -239,4 +239,8 @@
239239
| 4.8-api/WindowsBase.dll |
240240
| 4.8-api/cscompmgd.dll |
241241
| 4.8-api/mscorlib.dll |
242+
| /NUnit.ConsoleRunner.3.12.0/tools/nunit.engine.api.dll |
243+
| /NUnit.ConsoleRunner.3.12.0/tools/nunit.engine.core.dll |
244+
| /NUnit.ConsoleRunner.3.12.0/tools/nunit.engine.dll |
245+
| /NUnit.ConsoleRunner.3.12.0/tools/testcentric.engine.metadata.dll |
242246
| /Newtonsoft.Json.6.0.4/lib/portable-net45+wp80+win8+wpa81/Newtonsoft.Json.dll |
Lines changed: 101 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,101 @@
1+
[INVALID_KEY] predicate type_parameters(@type_parameter id, int index, @generic generic_id, int variance): The key set {id} does not functionally determine all fields.
2+
Here is a pair of tuples that agree on the key set but differ at index 3:
3+
Tuple 1 in row 405: (60523,0,48538,0)
4+
Tuple 2 in row 406: (60523,0,48538,2)
5+
Relevant element: Tuple 1: id=60523
6+
Full ID for 60523: @"(48538)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;typeparameter"
7+
Relevant element: Tuple 2: id=60523
8+
Full ID for 60523: @"(48538)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;typeparameter"
9+
Relevant element: Tuple 1: generic_id=48538
10+
Full ID for 48538: @"(17).Action`1;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`1;type"
11+
Relevant element: Tuple 2: generic_id=48538
12+
Full ID for 48538: @"(17).Action`1;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`1;type"
13+
[INVALID_KEY] predicate type_parameters(@type_parameter id, int index, @generic generic_id, int variance): The key set {id} does not functionally determine all fields.
14+
Here is a pair of tuples that agree on the key set but differ at index 3:
15+
Tuple 1 in row 444: (63606,0,63031,0)
16+
Tuple 2 in row 445: (63606,0,63031,2)
17+
Relevant element: Tuple 1: id=63606
18+
Full ID for 63606: @"(63031)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`2;type"}_0;typeparameter"
19+
Relevant element: Tuple 2: id=63606
20+
Full ID for 63606: @"(63031)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`2;type"}_0;typeparameter"
21+
Relevant element: Tuple 1: generic_id=63031
22+
Full ID for 63031: @"(17).Action`2;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`2;type"
23+
Relevant element: Tuple 2: generic_id=63031
24+
Full ID for 63031: @"(17).Action`2;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`2;type"
25+
[INVALID_KEY] predicate type_parameters(@type_parameter id, int index, @generic generic_id, int variance): The key set {id} does not functionally determine all fields.
26+
Here is a pair of tuples that agree on the key set but differ at index 3:
27+
Tuple 1 in row 446: (63610,1,63031,0)
28+
Tuple 2 in row 447: (63610,1,63031,2)
29+
Relevant element: Tuple 1: id=63610
30+
Full ID for 63610: @"(63031)_1;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`2;type"}_1;typeparameter"
31+
Relevant element: Tuple 2: id=63610
32+
Full ID for 63610: @"(63031)_1;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`2;type"}_1;typeparameter"
33+
Relevant element: Tuple 1: generic_id=63031
34+
Full ID for 63031: @"(17).Action`2;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`2;type"
35+
Relevant element: Tuple 2: generic_id=63031
36+
Full ID for 63031: @"(17).Action`2;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`2;type"
37+
[INVALID_KEY] predicate type_parameters(@type_parameter id, int index, @generic generic_id, int variance): The key set {id} does not functionally determine all fields.
38+
Here is a pair of tuples that agree on the key set but differ at index 3:
39+
Tuple 1 in row 3691: (207310,0,207302,0)
40+
Tuple 2 in row 3692: (207310,0,207302,2)
41+
Relevant element: Tuple 1: id=207310
42+
Full ID for 207310: @"(207302)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`3;type"}_0;typeparameter"
43+
Relevant element: Tuple 2: id=207310
44+
Full ID for 207310: @"(207302)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`3;type"}_0;typeparameter"
45+
Relevant element: Tuple 1: generic_id=207302
46+
Full ID for 207302: @"(17).Action`3;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`3;type"
47+
Relevant element: Tuple 2: generic_id=207302
48+
Full ID for 207302: @"(17).Action`3;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`3;type"
49+
[INVALID_KEY] predicate type_parameters(@type_parameter id, int index, @generic generic_id, int variance): The key set {id} does not functionally determine all fields.
50+
Here is a pair of tuples that agree on the key set but differ at index 3:
51+
Tuple 1 in row 3693: (207315,1,207302,0)
52+
Tuple 2 in row 3694: (207315,1,207302,2)
53+
Relevant element: Tuple 1: id=207315
54+
Full ID for 207315: @"(207302)_1;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`3;type"}_1;typeparameter"
55+
Relevant element: Tuple 2: id=207315
56+
Full ID for 207315: @"(207302)_1;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`3;type"}_1;typeparameter"
57+
Relevant element: Tuple 1: generic_id=207302
58+
Full ID for 207302: @"(17).Action`3;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`3;type"
59+
Relevant element: Tuple 2: generic_id=207302
60+
Full ID for 207302: @"(17).Action`3;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`3;type"
61+
[INVALID_KEY] predicate type_parameters(@type_parameter id, int index, @generic generic_id, int variance): More errors, not displayed. There are 6 pairs of tuples not satisfying the key dependency for a relation of size 8004
62+
[INVALID_KEY_SET] predicate params(@parameter id, string name, @type_or_ref type_id, int index, int mode, @parameterizable parent_id, @parameter unbound_id): The key set {index, parent_id} does not functionally determine all fields.
63+
Here is a pair of tuples that agree on the key set but differ at index 1:
64+
Tuple 1 in row 19620: (60522,"arg",60523,0,0,48538,60522)
65+
Tuple 2 in row 19621: (60522,"obj",60523,0,0,48538,60522)
66+
Relevant element: Tuple 1: id=60522
67+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
68+
Relevant element: Tuple 2: id=60522
69+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
70+
Relevant element: Tuple 1: type_id=60523
71+
Full ID for 60523: @"(48538)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;typeparameter"
72+
Relevant element: Tuple 2: type_id=60523
73+
Full ID for 60523: @"(48538)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;typeparameter"
74+
Relevant element: Tuple 1: parent_id=48538
75+
Full ID for 48538: @"(17).Action`1;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`1;type"
76+
Relevant element: Tuple 2: parent_id=48538
77+
Full ID for 48538: @"(17).Action`1;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`1;type"
78+
Relevant element: Tuple 1: unbound_id=60522
79+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
80+
Relevant element: Tuple 2: unbound_id=60522
81+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
82+
[INVALID_KEY] predicate params(@parameter id, string name, @type_or_ref type_id, int index, int mode, @parameterizable parent_id, @parameter unbound_id): The key set {id} does not functionally determine all fields.
83+
Here is a pair of tuples that agree on the key set but differ at index 1:
84+
Tuple 1 in row 19620: (60522,"arg",60523,0,0,48538,60522)
85+
Tuple 2 in row 19621: (60522,"obj",60523,0,0,48538,60522)
86+
Relevant element: Tuple 1: id=60522
87+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
88+
Relevant element: Tuple 2: id=60522
89+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
90+
Relevant element: Tuple 1: type_id=60523
91+
Full ID for 60523: @"(48538)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;typeparameter"
92+
Relevant element: Tuple 2: type_id=60523
93+
Full ID for 60523: @"(48538)_0;typeparameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;typeparameter"
94+
Relevant element: Tuple 1: parent_id=48538
95+
Full ID for 48538: @"(17).Action`1;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`1;type"
96+
Relevant element: Tuple 2: parent_id=48538
97+
Full ID for 48538: @"(17).Action`1;type". The ID may expand to @"{@"{@";namespace"}.System;namespace"}.Action`1;type"
98+
Relevant element: Tuple 1: unbound_id=60522
99+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
100+
Relevant element: Tuple 2: unbound_id=60522
101+
Full ID for 60522: @"(48538)_0;parameter". The ID may expand to @"{@"{@"{@";namespace"}.System;namespace"}.Action`1;type"}_0;parameter"
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
<?xml version="1.0" encoding="utf-8"?>
22
<packages>
33
<package id="Newtonsoft.Json" version="6.0.4" targetFramework="net461" />
4+
<package id="NUnit.ConsoleRunner" version="3.12.0" />
45
</packages>

0 commit comments

Comments
 (0)