.gitlab-ci.yml

###########################
# DO NOT MODIFY THIS FILE #
# #########################
# We will use the same workflow as this file to test your submission.
#
# To customize this file, use file /.gitlab-ci-custom.yml

# docker image
image: ethsrilab/rse-project:1.3

# variables to be set in the build environment
variables:
  # --batch-mode: Run in non-interactive (batch) mode
  MVN_FLAGS: --batch-mode

stages:
  - build
  - unit-tests
  - integration-tests
  - deploy

cache: # cache compilation output between jobs
  key: ${CI_COMMIT_REF_SLUG}
  paths:
    # cache maven directory
    - /root/.m2

###############
# COMPILATION #
###############

limit-memory:
  stage: build
  script:
    # limits the memory to be used on gitlab (workaround for a bug in case of
    # not enough memory)
    - cp analysis/settings_template.xml /root/.m2/settings.xml

compile-analysis:
  stage: build
  script:
    # operate in the analysis directory
    - cd analysis
    # clean
    - mvn $MVN_FLAGS clean
    # compile the java code running the analysis
    - mvn $MVN_FLAGS compile
  artifacts:
    paths:
    - analysis/target

###########
# TESTING #
###########

unit-tests:
  stage: unit-tests
  script:
    # operate in the analysis directory
    - cd analysis
    # run unit tests
    - mvn $MVN_FLAGS test surefire-report:report
  artifacts:
    paths:
      - analysis/target
    reports:
      junit:
       - analysis/target/surefire-reports/TEST-*.xml

integration-tests:
  stage: integration-tests
  coverage: '/\d+.\d+ \% covered/'
  script:
    # operate in the analysis directory
    - cd analysis
    # run integration tests (timeout to reduce load on GitLab)
    - timeout --signal=9 15m mvn $MVN_FLAGS verify -Dskip.surefire.tests
    # style report site
    - mvn $MVN_FLAGS site -Dskip.surefire.tests
    # report test coverage to console
    - awk -F"," '{ instructions += $4 + $5; covered += $5 } END { print covered, "/", instructions, "instructions covered"; print 100*covered/instructions, "% covered" }' target/site/jacoco-merged-test-coverage-report/jacoco.csv
  artifacts:
    paths:
      - analysis/target
    reports:
      junit:
       - analysis/target/failsafe-reports/TEST-*.xml

run-analysis:
  stage: integration-tests
  script:
    # operate in the analysis directory
    - cd analysis
    # compile tests (to have at least one binary to check)
    - mvn $MVN_FLAGS clean test-compile
    # run the verifier
    - ./run.sh ch.ethz.rse.integration.tests.Basic_Test_Safe NON_NEGATIVE
  artifacts:
    paths:
    - analysis/target

##################
# CUSTOMIZATIONS #
##################

include:
  # customize this CI/CD configuration
  - '/.gitlab-ci-custom.yml'