1
|
cmake_minimum_required(VERSION 2.8.4)
|
2
|
|
3
|
|
4
|
set(LUSTRE_OPTIONS_OPT "" )
|
5
|
set(MAX_INPUT_VALUE 100)
|
6
|
|
7
|
|
8
|
|
9
|
set(subdir ${CMAKE_CURRENT_SOURCE_DIR})
|
10
|
LUSTREFILES(LFILES ${subdir} )
|
11
|
set(TESTS_PREFIX "clocks")
|
12
|
set(SRC_DIR "${CMAKE_CURRENT_SOURCE_DIR}")
|
13
|
set(DST_DIR "${CMAKE_CURRENT_BINARY_DIR}")
|
14
|
FOREACH(lus_file ${LFILES})
|
15
|
get_filename_component(L ${lus_file} NAME_WE)
|
16
|
set(NODE_NAME "${L}")
|
17
|
Copy_or_generate_lusi_input_and_output_values_for_reference(
|
18
|
LUS_FILE ${lus_file}
|
19
|
NODE ${NODE_NAME}
|
20
|
OPTS ${LUSTRE_OPTIONS_OPT}
|
21
|
MAX ${MAX_INPUT_VALUE} #maximum value for input values.
|
22
|
SRC_DIR ${SRC_DIR}
|
23
|
DST_DIR ${DST_DIR}
|
24
|
)
|
25
|
|
26
|
Lustre_compile_and_compare_to_reference(
|
27
|
LUS_FILE ${lus_file}
|
28
|
NODE ${NODE_NAME}
|
29
|
TESTS_PREFIX ${TESTS_PREFIX}
|
30
|
OPTS ${LUSTRE_OPTIONS_OPT}
|
31
|
CALL_ID "1"
|
32
|
SRC_DIR ${SRC_DIR}
|
33
|
DST_DIR ${DST_DIR}
|
34
|
)
|
35
|
|
36
|
LustreT_MCDC(
|
37
|
LUS_FILE ${lus_file}
|
38
|
NODE ${NODE_NAME}
|
39
|
TESTS_PREFIX "${TESTS_PREFIX}"
|
40
|
OPTS ${LUSTRE_OPTIONS_OPT}
|
41
|
CALL_ID "5"
|
42
|
SRC_DIR ${SRC_DIR}
|
43
|
DST_DIR ${DST_DIR}
|
44
|
)
|
45
|
|
46
|
LustreT_Mutants(
|
47
|
LUS_FILE ${lus_file}
|
48
|
NODE ${NODE_NAME}
|
49
|
TESTS_PREFIX "${TESTS_PREFIX}"
|
50
|
OPTS ${LUSTRE_OPTIONS_OPT}
|
51
|
CALL_ID "5"
|
52
|
SRC_DIR ${SRC_DIR}
|
53
|
DST_DIR ${DST_DIR}
|
54
|
)
|
55
|
|
56
|
ENDFOREACH()
|
57
|
|
58
|
|
59
|
add_custom_target(clocks COMMAND ${CMAKE_CTEST_COMMAND} -R clocks)
|
60
|
|