SharpProof/SharpProof.Dev.Tests.slnf at master · alexyorke/SharpProof · GitHub

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
{
  "solution": {
    "path": "SharpProof.sln",
    "projects": [
      "SharpProof.Analyzer.Test\\SharpProof.Analyzer.Test.csproj",
      "SharpProof.ArchitectureTest\\SharpProof.ArchitectureTest.csproj",
      "SharpProof.Attributes.Test\\SharpProof.Attributes.Test.csproj",
      "SharpProof.ContractForGenerator.Test\\SharpProof.ContractForGenerator.Test.csproj",
      "SharpProof.Contracts.Test\\SharpProof.Contracts.Test.csproj",
      "SharpProof.Dataflow.Test\\SharpProof.Dataflow.Test.csproj",
      "SharpProof.Effects.Test\\SharpProof.Effects.Test.csproj",
      "SharpProof.Frontend.Test\\SharpProof.Frontend.Test.csproj",
      "SharpProof.Ir.Test\\SharpProof.Ir.Test.csproj",
      "SharpProof.Meta.Analyzers.Test\\SharpProof.Meta.Analyzers.Test.csproj",
      "SharpProof.Package.Test\\SharpProof.Package.Test.csproj",
      "SharpProof.Smt.Test\\SharpProof.Smt.Test.csproj",
      "SharpProof.Specs.Test\\SharpProof.Specs.Test.csproj",
      "SharpProof.Summaries.Test\\SharpProof.Summaries.Test.csproj",
      "SharpProof.Testing.Test\\SharpProof.Testing.Test.csproj",
      "SharpProof.Fuzz.Test\\SharpProof.Fuzz.Test.csproj",
      "SharpProof.Gates.Test\\SharpProof.Gates.Test.csproj",
      "SharpProof.Verify.Test\\SharpProof.Verify.Test.csproj",
      "SharpProof.Worker.Test\\SharpProof.Worker.Test.csproj"
    ]
  }
}