Ctrl K
ComunidadGuías…

smoke.sh

Rama main · réplica de lectura del repositorio original.

Archivo original ↗Preguntar a KiBot
#!/bin/bash
#Run the very same test suite as runned on CI, but locally

chmod +x valgrind
cd build

# last known values (run searchd with logdebug to see the values)
export MANTICORE_KNOWN_CREATE_SIZE=16
export MANTICORE_START_KNOWN_CREATE_SIZE=2976
export MANTICORE_KNOWN_EXPR_SIZE=32
export MANTICORE_START_KNOWN_EXPR_SIZE=104
export MANTICORE_KNOWN_FILTER_SIZE=224
export MANTICORE_START_KNOWN_FILTER_SIZE=11360
export MANTICORE_KNOWN_MATCH_SIZE=336
export MANTICORE_START_KNOWN_MATCH_SIZE=14392

export CTEST_CONFIGURATION_TYPE=RelWithDebInfo
export CTEST_CMAKE_GENERATOR=Ninja
export NO_STACK_CALCULATION=1
export MANTICORE_THREADS_EX='2/1+2/1'
export XTRA_FLAGS="CMAKE_C_COMPILER=/usr/bin/clang-15;CMAKE_CXX_COMPILER=/usr/bin/clang++-15"
#export MEMORYCHECK_COMMAND_OPTIONS='--tool=memcheck --leak-check=full --track-origins=yes --time-stamp=yes'
time ctest -V -S ../misc/ctest/memcheck.cmake
#export CTEST_CONFIGURATION_TYPE=Debug
#ctest -V -S ../misc/ctest/gltest.cmake