Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added missing timeouts and session groups
  2. added more checks to afp_check_roots tool
  3. tuned
Changeset 7011:04681a49e703 by lars hupel _lars.hupel@mytum.de_:
added missing timeouts and session groups
The file was modified thys/CAVA_LTL_Modelchecker/ROOT (diff)
The file was modified thys/Koenigsberg_Friendship/ROOT (diff)
The file was modified thys/Launchbury/ROOT (diff)
The file was modified thys/Surprise_Paradox/ROOT (diff)
Changeset 7010:d766992ddfde by lars hupel _lars.hupel@mytum.de_:
added more checks to afp_check_roots tool
The file was modified tools/afp_check_roots.scala (diff)
Changeset 7009:e13931621a7e by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified admin/jenkins/ci_build_afp.scala (diff)