Project

General

Profile

Download (1.55 KB) Statistics
| Branch: | Tag: | Revision:
1
cmake_minimum_required(VERSION 2.8.4)
2

    
3

    
4
set(LUSTRE_OPTIONS_OPT "" )
5
set(MAX_INPUT_VALUE 100)
6

    
7

    
8
#proceed all subdirectories
9
SUBDIRLIST(SUBDIRS ${CMAKE_CURRENT_SOURCE_DIR}  "src_")
10
  set(DST_DIR "${CMAKE_CURRENT_BINARY_DIR}")
11
FOREACH(subdir ${SUBDIRS})
12
  LUSTREFILES(LFILES ${subdir} )
13
  set(TESTS_PREFIX "Stateflow")
14
  set(SRC_DIR "${CMAKE_CURRENT_SOURCE_DIR}/${subdir}")
15

    
16
  FOREACH(lus_file ${LFILES})
17
	get_filename_component(L ${lus_file} NAME_WE)
18
	set(NODE_NAME  "${L}")
19
	Copy_or_generate_lusi_input_and_output_values_for_reference(
20
		LUS_FILE ${lus_file}
21
		NODE ${NODE_NAME}
22
		OPTS ${LUSTRE_OPTIONS_OPT}
23
		MAX ${MAX_INPUT_VALUE}  	#maximum value for input values.
24
		SRC_DIR ${SRC_DIR}
25
		DST_DIR ${DST_DIR}
26
	)
27

    
28
	Lustre_compile_and_compare_to_reference(
29
		LUS_FILE ${lus_file}
30
		NODE ${NODE_NAME}
31
		TESTS_PREFIX ${TESTS_PREFIX}
32
		OPTS ${LUSTRE_OPTIONS_OPT}
33
		CALL_ID "1"
34
		SRC_DIR ${SRC_DIR}
35
		DST_DIR ${DST_DIR}
36
	)
37

    
38
      Lustre_compile_options(
39
	LUS_FILE ${lus_file}
40
	NODE ${NODE_NAME}
41
	TESTS_PREFIX "${TESTS_PREFIX}"
42
	OPTS ${LUSTRE_OPTIONS_OPT} "-emf" 
43
	CALL_ID "2"
44
	SRC_DIR ${SRC_DIR}
45
	DST_DIR ${DST_DIR}
46
	)
47

    
48
      
49
      LustreT_MCDC(
50
	LUS_FILE ${lus_file}
51
	NODE ${NODE_NAME}
52
	TESTS_PREFIX "${TESTS_PREFIX}"
53
	OPTS ${LUSTRE_OPTIONS_OPT} 
54
	CALL_ID "3"
55
	SRC_DIR ${SRC_DIR}
56
	DST_DIR ${DST_DIR}
57
	)
58

    
59
      LustreT_Mutants(
60
	LUS_FILE ${lus_file}
61
	NODE ${NODE_NAME}
62
	TESTS_PREFIX "${TESTS_PREFIX}"
63
	OPTS ${LUSTRE_OPTIONS_OPT} 
64
	CALL_ID "4"
65
	SRC_DIR ${SRC_DIR}
66
	DST_DIR ${DST_DIR}
67
	)
68

    
69
  ENDFOREACH()
70
ENDFOREACH()
71

    
72
add_custom_target(Stateflow COMMAND ${CMAKE_CTEST_COMMAND} -R Steteflow)
73

    
    (1-1/1)