version: 0.2
phases:
  install:
    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"
      - cd aws-encryption-sdk-dafny
  build:
    commands:
      # Currently, test depends on src, so verifying test will also verify src
      - dotnet build -t:VerifyDafny -p:TestVerifyOverride="verificationLogger:trx" test
      - MAX_VERIFICATION_DURATION_SECONDS=40 python3 verification-times-from-trx.py test/TestResults/*.trx
reports:
    Dafny:
        file-format: VisualStudioTrx
        files:
            - '**/*'
        base-directory: 'test/TestResults'