Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
model-checker : new tesh example for liveness model checking with visited state reduction
[simgrid.git] / buildtools / Cmake / CTestCustom.cmake
1
2 SET(CTEST_CUSTOM_COVERAGE_EXCLUDE
3 @PATTERN_CTEST_IGNORED@
4 )
Clone of SimGrid repository with local patches