smoke.sh 978 B

12345678910111213141516171819202122232425
  1. #!/bin/bash
  2. #Run the very same test suite as runned on CI, but locally
  3. chmod +x valgrind
  4. cd build
  5. # last known values (run searchd with logdebug to see the values)
  6. export MANTICORE_KNOWN_CREATE_SIZE=16
  7. export MANTICORE_START_KNOWN_CREATE_SIZE=2976
  8. export MANTICORE_KNOWN_EXPR_SIZE=32
  9. export MANTICORE_START_KNOWN_EXPR_SIZE=104
  10. export MANTICORE_KNOWN_FILTER_SIZE=224
  11. export MANTICORE_START_KNOWN_FILTER_SIZE=11360
  12. export MANTICORE_KNOWN_MATCH_SIZE=336
  13. export MANTICORE_START_KNOWN_MATCH_SIZE=14392
  14. export CTEST_CONFIGURATION_TYPE=RelWithDebInfo
  15. export CTEST_CMAKE_GENERATOR=Ninja
  16. export NO_STACK_CALCULATION=1
  17. export MANTICORE_THREADS_EX='2/1+2/1'
  18. export XTRA_FLAGS="CMAKE_C_COMPILER=/usr/bin/clang-15;CMAKE_CXX_COMPILER=/usr/bin/clang++-15"
  19. #export MEMORYCHECK_COMMAND_OPTIONS='--tool=memcheck --leak-check=full --track-origins=yes --time-stamp=yes'
  20. time ctest -V -S ../misc/ctest/memcheck.cmake
  21. #export CTEST_CONFIGURATION_TYPE=Debug
  22. #ctest -V -S ../misc/ctest/gltest.cmake