Jenkinsfile

pipeline {
  agent {
    dockerfile {
      label 'docker'
      additionalBuildArgs '--build-arg KIELE_COMMIT=$(cat ext/kiele_release | cut --delimiter="-" --field="2") --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'
    }
  }
  options { ansiColor('xterm') }
  stages {
    stage("Init title") {
      when { changeRequest() }
      steps { script { currentBuild.displayName = "PR ${env.CHANGE_ID}: ${env.CHANGE_TITLE}" } }
    }
    stage('Build') {
      steps {
        sh '''
          touch prerelease.txt
          mkdir build
          cd build
          cmake .. -DCMAKE_BUILD_TYPE=Debug
          make -j`nproc`
          cd ..
        '''
      }
    }
    stage('Compilation Tests') {
      steps { sh './test/ieleCmdlineTests.sh' }
    }
    stage('Regression Tests') {
      stages {
        stage('Checkout code') { steps { dir('iog-pm') { git branch: 'milestone4', url: 'git@github.com:runtimeverification/iog-pm.git' } } }
        stage('Milestone4 Tests') {
          environment {
            CONTRACTLIST = "${env.WORKSPACE}/test/milestone4-contracts.txt"
            FAILING = "${env.WORKSPACE}/test/milestone4-contracts.failing"
            PATCH = "${env.WORKSPACE}/test/milestone4-types.patch"
          }
          steps {
            dir('iog-pm') {
              sh '''
                git submodule init
                git submodule update --depth 1
                ./fetch-all-modules.sh --verbose
                patch -p1 < ${PATCH}
                grep -v -x -F -f ${FAILING} ${CONTRACTLIST} > contracts.txt
                export SOLC=${WORKSPACE}/build/solc/isolc
                ./run-all-scripts.sh --filter contracts.txt --verbose --verbose
              '''
            }
          }
        }
      }
    }
    stage('Execution Tests') {
      steps {
        sh '''
          kiele vm --port 9001 &
          kiele_pid=$!
          sleep 3
          /usr/lib/kiele/iele-test-client build/ipcfile 9001 &
          testnode_pid=$!
          sleep 3
          ./build/test/soltest --no_result_code \
                               --report_sink=build/report.xml \
                               --report_level=detailed \
                               --report_format=XML \
                               --log_sink=build/log.xml \
                               --log_level=all \
                               --log_format=XML  \
                               `cat test/failing-exec-tests` \
                               `cat test/out-of-scope-exec-tests` \
                               `cat test/unimplemented-features-tests` \
                               -- \
                               --enforce-no-yul-ewasm \
                               --ipcpath build/ipcfile \
                               --testpath test
          iconv --from-code iso-8859-1 \
                --to-code utf-8 \
                build/log.xml \
                -o build/log-utf8.xml
          mv -f build/log-utf8.xml build/log.xml
          xmllint --xpath "//TestCase[@assertions_failed!=@expected_failures]" build/report.xml && false
          xmllint --xpath '//TestCase[@result="skipped"]' build/report.xml && false
          cd build
          gcovr --xml --root .. --exclude ../test -o coverage.xml
          kill $testnode_pid $kiele_pid
        '''
      }
    }
  }
  post {
    always {
      archiveArtifacts artifacts: 'build/log.xml'
      archiveArtifacts artifacts: 'build/report.xml'
      archiveArtifacts artifacts: 'build/coverage.xml'
    }
  }
}