Enable extract_type_header regression tests

This test isn't strictly dependent on memory-analyzer being available,
but is only of interest if that is the case.

Author: tautschnig

regression/CMakeLists.txt

@@ -72,4 +72,5 @@ add_subdirectory(cbmc-sequentialization)
 if(WITH_MEMORY_ANALYZER)
   add_subdirectory(snapshot-harness)
   add_subdirectory(memory-analyzer)
+  add_subdirectory(extract_type_header)
 endif()

regression/Makefile

@@ -58,7 +58,8 @@ endif
 
 ifeq ($(WITH_MEMORY_ANALYZER),1)
   DIRS += snapshot-harness \
-          memory-analyzer
+          memory-analyzer \
+          extract_type_header
 endif
 
 # Run all test directories in sequence

regression/extract_type_header/CMakeLists.txt

@@ -0,0 +1,9 @@
+if(WIN32)
+    set(is_windows true)
+else()
+    set(is_windows false)
+endif()
+
+add_test_pl_tests(
+    "${CMAKE_CURRENT_SOURCE_DIR}/chain.sh $<TARGET_FILE:goto-cc> $<TARGET_FILE:goto-instrument> $<TARGET_FILE:cbmc> ../../../scripts/extract_type_header.py ${is_windows}"
+)

regression/extract_type_header/chain.sh

@@ -14,13 +14,12 @@ name=${name%.c}
 args=${*:6:$#-6}
 
 if [[ "${is_windows}" == "true" ]]; then
-  $goto_cc "${name}.c"
-  mv "${name}.exe" "${name}.gb"
+  $goto_cc "${name}.c" "/Fe${name}.gb"
 else
   $goto_cc -o "${name}.gb" "${name}.c"
 fi
 
-export PATH=$PATH:"$(pwd)../../../src/goto-instrument/"
+export PATH=$PATH:"$(cd $(dirname $goto_instrument) && pwd)"
 $python_script "${name}.gb" "${name}.c" "header.h"
 cat "header.h"
 rm -f "header.h"