version: 0.2

phases:
  install:
    runtime-versions:
      # TODO update to .NET 6.0
      dotnet: 5.0
    commands:
      - cd ..
      # Get Dafny
      - curl https://github.com/dafny-lang/dafny/releases/download/v3.5.0/dafny-3.5.0-x64-ubuntu-16.04.zip -L -o dafny.zip
      - unzip -qq dafny.zip && rm dafny.zip
      - export PATH="$PWD/dafny:$PATH"
      # Switch back to the main directory
      - cd aws-encryption-sdk-dafny/aws-encryption-sdk-net
  build:
    commands:
      # Unit tests
      - dotnet test -f netcoreapp3.1 Test /nowarn:CS0105
      # Code Coverage
      - cd Test/
      # Run Coverlet
      - dotnet test -f netcoreapp3.1 --collect:"XPlat Code Coverage" --settings ../runsettings.xml
      - cd ..
      - python3 MoveCoverage.py
      # Install ReportGenerator
      - dotnet new tool-manifest
      - dotnet tool install dotnet-reportgenerator-globaltool
      - cd Source/
      # Run ReportGenerator
      - dotnet reportgenerator "-reports:../Test/TestResults/coverage.cobertura.xml" "-targetdir:../Test/TestResults" -reporttypes:TextSummary
      - cd ..
      # TODO: uncomment once we get POC polished
      #- python3 GetCodeCoverage.py