Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / clocks / CMakeLists.txt @ c34a50ff

History | View | Annotate | Download (1.24 KB)

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