-
Notifications
You must be signed in to change notification settings - Fork 4
/
.gitignore
163 lines (161 loc) · 4.76 KB
/
.gitignore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
logs
_logs
Debug
Debug.Linux
Debug.OSX
build.Linux
build.MacOSX
build.Win
doc/html
doc/latex
Release
Release.Linux
resources/csm.fsm
build.Linux/**
build.MacOSX/**
build.Win/**
doc/html/**
doc/latex/**
build/**
fsm_test_cases.txt
fsm_test_suite.txt
fsm_transitionCover.dot
build.Debug
main copy.cpp
build.sh
src/main/main7.cpp
xcode
FOM_W.dot
src/OptimizationProfiles
TC-FSM-0005.dot
resources/fsbrts.fsm
resources/fsbrts.in
resources/fsbrts.out
resources/fsbrts.state
resources/fsbrts_mutant.fsm
resources/fsbrtssafe.fsm
resources/fsbrtssafe.in
resources/fsbrtssafe.out
resources/fsbrtssafe.state
Release.Linux/**
resources/garage-door-controller-bug.csv
resources/gdc.fsm
resources/pls-example/FSBRTS.csv
resources/pls-example/FSBRTS.ods
resources/pls-example/FSBRTSMUT.ods
resources/pls-example/fsbrtssafe.txt
resources/pls-example/fsbrtsx-m3-results.txt
resources/pls-example/fsbrtsx-results.txt
resources/pls-example/fsbrtsx-safe-results.txt
resources/pls-example/FSBRTSX.csv
resources/pls-example/FSBRTSX.ods
resources/pls-example/FSBRTSX_M1.csv
resources/pls-example/FSBRTSX_M1.ods
resources/pls-example/FSBRTSX_M2.csv
resources/pls-example/FSBRTSX_M2.ods
resources/pls-example/FSBRTSX_M3.csv
resources/pls-example/FSBRTSX_M3.ods
resources/pls-example/FSBRTSX_SAFE.csv
resources/pls-example/FSBRTSX_SAFE.ods
resources/pls-example/main.cpp
resources/pls-example/outfsbrtsx.csv
resources/pls-example/plsautocnd-verification-results.txt
resources/pls-example/plsautocnd.csv
resources/pls-example/plsautocnd.ods
resources/pls-example/plsautocnd_I-verification-results.txt
resources/pls-example/plsautocnd_I.csv
resources/pls-example/plsautocnd_I.ods
resources/pls-example/plsautocnd_I_MUT.csv
resources/pls-example/plsautocnd_I_MUT.ods
resources/pls-example/plsautocndMUT.csv
resources/pls-example/plsautocndMUT.ods
resources/pls-example/plsautocndOut.csv
src/main/main_BASE_2591.cpp
src/main/main_LOCAL_2591.cpp
src/main/main_REMOTE_2591.cpp
CMakeFiles
src/CMakeLists.txt.user
resources/adaptive-test/*.dot
resources/asc-test-results/*.dot
resources/example-master-fehler
csv/**
Release.OSX/cmake_install.cmake
Release.OSX/CMakeCache.txt
Release.OSX/Makefile
Release.OSX/checker/cmake_install.cmake
Release.OSX/checker/fsm-checker
Release.OSX/checker/Makefile
Release.OSX/cloneable/cmake_install.cmake
Release.OSX/cloneable/libfsm-cloneable.a
Release.OSX/cloneable/Makefile
Release.OSX/example/cmake_install.cmake
Release.OSX/example/libfsm-example.a
Release.OSX/example/Makefile
Release.OSX/externals/cmake_install.cmake
Release.OSX/externals/Makefile
Release.OSX/externals/easyloggingpp_v9.95.0/cmake_install.cmake
Release.OSX/externals/easyloggingpp_v9.95.0/Makefile
Release.OSX/externals/easyloggingpp_v9.95.0/logging/cmake_install.cmake
Release.OSX/externals/easyloggingpp_v9.95.0/logging/libeasyloggingpp.a
Release.OSX/externals/easyloggingpp_v9.95.0/logging/Makefile
Release.OSX/externals/jsoncpp-0.10.0/cmake_install.cmake
Release.OSX/externals/jsoncpp-0.10.0/Makefile
Release.OSX/externals/jsoncpp-0.10.0/src/cmake_install.cmake
Release.OSX/externals/jsoncpp-0.10.0/src/libjsoncpp.a
Release.OSX/externals/jsoncpp-0.10.0/src/Makefile
Release.OSX/fsm/cmake_install.cmake
Release.OSX/fsm/libfsm-fsm.a
Release.OSX/fsm/Makefile
Release.OSX/generator/cmake_install.cmake
Release.OSX/generator/f_p.fsm
Release.OSX/generator/f_p.in
Release.OSX/generator/f_p.out
Release.OSX/generator/f_p.state
Release.OSX/generator/fsm-generator
Release.OSX/generator/FSM.dot
Release.OSX/generator/Makefile
Release.OSX/generator/testsuite.txt
Release.OSX/harness/cmake_install.cmake
Release.OSX/harness/fsm-harness
Release.OSX/harness/Makefile
Release.OSX/interface/cmake_install.cmake
Release.OSX/interface/libfsm-interface.a
Release.OSX/interface/Makefile
Release.OSX/main/cmake_install.cmake
Release.OSX/main/fsm-main
Release.OSX/main/Makefile
Release.OSX/sets/cmake_install.cmake
Release.OSX/sets/libfsm-sets.a
Release.OSX/sets/Makefile
Release.OSX/trees/cmake_install.cmake
Release.OSX/trees/libfsm-trees.a
Release.OSX/trees/Makefile
Release.OSX/utils/cmake_install.cmake
Release.OSX/utils/Makefile
Release.OSX/main/F.dot
Release.OSX/main/f1.dot
Release.OSX/main/f1Copy.dot
Release.OSX/main/FM.dot
Release.OSX/main/FMutant.dot
Release.OSX/main/fsmGillA7.dot
Release.OSX/main/G0.csv
Release.OSX/main/G0.dot
Release.OSX/main/G0_MIN.dot
Release.OSX/main/G_all_reachable.dot
Release.OSX/main/GC.dot
Release.OSX/main/GDC.csv
Release.OSX/main/GDC.dot
Release.OSX/main/GDC_MIN.dot
Release.OSX/main/GU.dot
Release.OSX/main/NN.dot
Release.OSX/main/NN_MIN.dot
Release.OSX/main/NON_OBS.dot
Release.OSX/main/OBS.dot
Release.OSX/main/TC-DFSM-0001.dot
Release.OSX/main/testsuite.txt
Release.OSX/generator/FSM.csv
Release.OSX/generator/speedo_uncs.fsm
Release.OSX/generator/speedo_uncs.in
Release.OSX/generator/speedo_uncs.out
Release.OSX/generator/speedo_uncs.state
Release.OSX/generator/x.fsm