forked from Z3Prover/FirewallChecker
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathFirewallChecker.sln
76 lines (76 loc) · 5.02 KB
/
FirewallChecker.sln
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio 15
VisualStudioVersion = 15.0.26124.0
MinimumVisualStudioVersion = 15.0.26124.0
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "FirewallAnalysis", "FirewallAnalysis\FirewallAnalysis.csproj", "{ECF77030-3879-4B5D-8443-BAB92E66B22F}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "FirewallAnalysis.Tests", "FirewallAnalysis.Tests\FirewallAnalysis.Tests.csproj", "{504CB30A-8536-45FA-B535-25EFC7EF397D}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "FirewallEquivalenceCheckerCmd", "FirewallEquivalenceCheckerCmd\FirewallEquivalenceCheckerCmd.csproj", "{D3E4EFF3-6B27-4126-BA98-5043152046C9}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "FirewallQueryCmd", "FirewallQueryCmd\FirewallQueryCmd.csproj", "{E1512823-EE90-4F17-9C67-43CA45F6B790}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Debug|x64 = Debug|x64
Debug|x86 = Debug|x86
Release|Any CPU = Release|Any CPU
Release|x64 = Release|x64
Release|x86 = Release|x86
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Debug|Any CPU.Build.0 = Debug|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Debug|x64.ActiveCfg = Debug|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Debug|x64.Build.0 = Debug|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Debug|x86.ActiveCfg = Debug|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Debug|x86.Build.0 = Debug|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Release|Any CPU.ActiveCfg = Release|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Release|Any CPU.Build.0 = Release|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Release|x64.ActiveCfg = Release|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Release|x64.Build.0 = Release|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Release|x86.ActiveCfg = Release|Any CPU
{ECF77030-3879-4B5D-8443-BAB92E66B22F}.Release|x86.Build.0 = Release|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Debug|Any CPU.Build.0 = Debug|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Debug|x64.ActiveCfg = Debug|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Debug|x64.Build.0 = Debug|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Debug|x86.ActiveCfg = Debug|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Debug|x86.Build.0 = Debug|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Release|Any CPU.ActiveCfg = Release|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Release|Any CPU.Build.0 = Release|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Release|x64.ActiveCfg = Release|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Release|x64.Build.0 = Release|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Release|x86.ActiveCfg = Release|Any CPU
{504CB30A-8536-45FA-B535-25EFC7EF397D}.Release|x86.Build.0 = Release|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Debug|Any CPU.Build.0 = Debug|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Debug|x64.ActiveCfg = Debug|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Debug|x64.Build.0 = Debug|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Debug|x86.ActiveCfg = Debug|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Debug|x86.Build.0 = Debug|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Release|Any CPU.ActiveCfg = Release|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Release|Any CPU.Build.0 = Release|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Release|x64.ActiveCfg = Release|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Release|x64.Build.0 = Release|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Release|x86.ActiveCfg = Release|Any CPU
{D3E4EFF3-6B27-4126-BA98-5043152046C9}.Release|x86.Build.0 = Release|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Debug|Any CPU.Build.0 = Debug|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Debug|x64.ActiveCfg = Debug|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Debug|x64.Build.0 = Debug|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Debug|x86.ActiveCfg = Debug|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Debug|x86.Build.0 = Debug|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Release|Any CPU.ActiveCfg = Release|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Release|Any CPU.Build.0 = Release|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Release|x64.ActiveCfg = Release|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Release|x64.Build.0 = Release|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Release|x86.ActiveCfg = Release|Any CPU
{E1512823-EE90-4F17-9C67-43CA45F6B790}.Release|x86.Build.0 = Release|Any CPU
EndGlobalSection
EndGlobal