CristalCaveGem » LustreC » Lustrec-Tests

# # Macros used to compile a lustre library

# include(CMakeParseArguments)

# function(Compare_ref_zustre)

#   set(options "")

#   set(oneValueArgs  REF GEN)

  # Projecting ref to status and tail

execute_process(COMMAND bash -c "cat ${REF} | grep Answer | awk '{$1=$1};1'" OUTPUT_VARIABLE REFSTATUS RESULT_VARIABLE CMD_RESULT)

if(CMD_RESULT)

  message(FATAL_ERROR "Error extracting reference status from ${REF}")

endif()

execute_process(COMMAND bash -c "tail -n +8 ${REF} > ${L}_ref_tail.xml" RESULT_VARIABLE CMD_RESULT)

if(CMD_RESULT)

  message(FATAL_ERROR "Error extracting tail from ${REF}")

endif()

# Projecting gen to status and tail

execute_process(COMMAND bash -c "cat ${GEN} | grep Answer | awk '{$1=$1};1'" OUTPUT_VARIABLE GENSTATUS RESULT_VARIABLE CMD_RESULT)

if(CMD_RESULT)

  message(FATAL_ERROR "Error extracting generated XML status from ${GEN}")

endif()

execute_process(COMMAND bash -c "tail -n +8 ${REF} > ${L}_gen_tail.xml" RESULT_VARIABLE CMD_RESULT)

if(CMD_RESULT)

  message(FATAL_ERROR "Error extracting tail from ${GEN}")

endif()

# Comparing status

if(REFSTATUS MATCHES "SAFE" AND GENSTATUS MATCHES "SAFE")

  message(STATUS "Coherent SAFE output")

elseif(REFSTATUS MATCHES "TIMEOUT" AND NOT(GENSTATUS MATCHES "TIMEOUT"))

  message(WARNING "Timeout status evolved to ${GENSTATUS}")

elseif(REFSTATUS MATCHES "CEX" AND GENSTATUS MATCHES "CEX")

  message(STATUS "Coherent CEX output")

  execute_process(COMMAND ${CMAKE_COMMAND} -E compare_files

    ${L}_ref_tail.xml ${L}_gen_tail.xml

    RESULT_VARIABLE CMD_RESULT)

  if(CMD_RESULT)

    message(FATAL_ERROR "CEXs are not identical")

  endif()

else()

  message(FATAL_ERROR "Status mismatch: ${REFSTATUS} (ref) vs ${GENSTATUS} (gen)") 

endif()

#endfunction(Compare_ref_zustre)

  add_test(NAME ${GEN_TESTS_PREFIX}_COMPARE_REF_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

    COMMAND ${CMAKE_COMMAND} -DREF=${GEN_DST_DIR}/${L}/${L}_${GEN_NODE}_${ZUS_OPTS_CUT}.xml

                             -DGEN=${ZUSTRE_OUTPUT_DIR}/${L}_${GEN_NODE}_${ZUS_OPTS_CUT}.xml

    	    -P ${CMAKE_SOURCE_DIR}/modules/compare_ref_zustre.cmake

  SET_TESTS_PROPERTIES ( ${GEN_TESTS_PREFIX}_COMPARE_REF_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

    PROPERTIES REQUIRED_FILES  "${L}_${GEN_NODE}_${ZUS_OPTS_CUT}.xml"

  # add_test(NAME ${GEN_TESTS_PREFIX}_TAILGEN_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

  #   COMMAND bash -c "tail -n +8 ${L}_${GEN_NODE}_${ZUS_OPTS_CUT}.xml > ${L}_tailed1.xml; | grep Answer | awk '{$1=$1};1'"

  #   WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}

  #   )

  # SET_TESTS_PROPERTIES ( ${GEN_TESTS_PREFIX}_TAILGEN_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

  #   PROPERTIES REQUIRED_FILES  ${L}_${GEN_NODE}_${ZUS_OPTS_CUT}.xml

  #   DEPENDS ${GEN_TESTS_PREFIX}_COMPIL_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID})

  # add_test(NAME ${GEN_TESTS_PREFIX}_TAILREF_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

  #   COMMAND bash -c "tail -n +8 ${L}_${GEN_NODE}_${ZUS_OPTS_CUT}.xml > ${L}_${GEN_NODE}_tailed2.xml"

  #   WORKING_DIRECTORY ${GEN_DST_DIR}/${L}/

  #   )

  # SET_TESTS_PROPERTIES ( ${GEN_TESTS_PREFIX}_TAILREF_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

  #   PROPERTIES REQUIRED_FILES  ${L}_${GEN_NODE}_${ZUS_OPTS_CUT}.xml

  #   DEPENDS ${GEN_TESTS_PREFIX}_TAILGEN_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID})

  # add_test(NAME ${GEN_TESTS_PREFIX}_DIFF_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

  #   COMMAND ${CMAKE_COMMAND} -E compare_files  ${L}_tailed1.xml  ../${L}_${GEN_NODE}_tailed2.xml

  #   WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}

  #   )

  # SET_TESTS_PROPERTIES ( ${GEN_TESTS_PREFIX}_DIFF_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}

  #   PROPERTIES REQUIRED_FILES  ${L}_tailed1.xml

  #   DEPENDS ${GEN_TESTS_PREFIX}_TAILREF_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID})