Summary
- added missing timeouts and session groups
- added more checks to afp_check_roots tool
- tuned
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) |
The file was modified | tools/afp_check_roots.scala (diff) |
The file was modified | admin/jenkins/ci_build_afp.scala (diff) |