Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/structures/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 7.10.2014 mit Größe 33 kB image not shown  

Quelle  CTestCustom.cmake.in   Sprache: unbekannt

 

set(CTEST_CUSTOM_MAXIMUM_NUMBER_OF_WARNINGS "2000")
set(CTEST_CUSTOM_MAXIMUM_NUMBER_OF_ERRORS   "2000")
list(APPEND CTEST_CUSTOM_ERROR_EXCEPTION    @EIGEN_CTEST_ERROR_EXCEPTION@)

[ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ]