你即將離開本站

並前往https://www.mcrl2.org/web/user_manual/build_instructions/test_pack.html

Testing — mCRL2 202106.0 documentation

Specific tests can be run by using ctest . ... default value for CMAKE_INSTALL_PREFIX , or use a directory value that is available in the target platform.

確定！ 回上一頁

查詢 「ctest directory」的人也找了：

  1. ctest framework
    2.
  2. ctest test
    3.
  3. ctest test not available without configuration
    4.
  4. ctest xml
    5.
  5. ctest windows
    6.
  6. ctest there was an error running ctest to determine available test executables
    7.
  7. debug ctest
    8.
  8. ctest nightly
    9.