source: CIVL/examples/languageFeatures/Makefile

main
Last change on this file was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago

Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5704 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 6.9 KB
Line 
1CIVL=civl
2VERIFY=$(CIVL) verify -enablePrintf=false
3all: 2dpointerTest abstractFun abstractFunNoArg arrayDefProblem arrayLiteral \
4arrayPointer arrays assertNonNullPointer assertNullPointer assertPrintf assignInput \
5assignIntWtReal assume atomChooseBad atomicBlockedResume atomicStatement atomicWait \
6atomStatement atomWaitBad badGuard bitwise break bundleArray bundleConcrete \
7bundleSize bundleStruct bundleTest bundleTestBad cast char choose choose_int \
8civlfor civlParfor civlPragma comma compare conditionalExpression continue \
9duffs dynamicStruct emptyWhen enum1 enum2 for functionBad functionPointer \
10functionPrototype functionPrototypeBad implies include1 include2 include3 \
11inputBad int2char int2charBad int2charBad2 int2float intToBool linkedList \
12malloc mallocBad mallocBad2 memLeak memoryLeak minimal nonbooleanCondition \
13noopBad not null outputBad pointerAdd pointerAdd1 pointerAdd2 pointerAddBad \
14pointerAddBad2 pointers pointerSubtraction pointerSubtractionBad pointerSubtractionBad2 pointersBad\
15procBound processLeak procNull quantifiers removedHeapPointer scopeOperators \
16scoping self sideEffectLoop sideEffects sizeof spawnFoo stringTest struct \
17structArray structStruct switch undefHeapPointer undefPointer union
18
192dpointerTest: 2dpointerTest.cvl
20 $(VERIFY) 2dpointerTest.cvl
21
22abstractFun: abstractFun.cvl
23 $(VERIFY) abstractFun.cvl
24
25abstractFunNoArg: abstractFunNoArg.cvl
26 $(VERIFY) abstractFunNoArg.cvl
27
28arrayDefProblem: arrayDefProblem.cvl
29 $(VERIFY) arrayDefProblem.cvl
30
31arrayLiteral: arrayLiteral.cvl
32 $(VERIFY) arrayLiteral.cvl
33
34arrayPointer: arrayPointer.cvl
35 $(VERIFY) arrayPointer.cvl
36
37arrays: arrays.cvl
38 $(VERIFY) arrays.cvl
39
40assertNonNullPointer: assertNonNullPointer.cvl
41 $(VERIFY) assertNonNullPointer.cvl
42
43assertNullPointer: assertNullPointer.cvl
44 $(VERIFY) assertNullPointer.cvl
45
46assertPrintf: assertPrintf.cvl
47 $(VERIFY) assertPrintf.cvl
48
49assignInput: assignInput.cvl
50 $(VERIFY) assignInput.cvl
51
52assignIntWtReal: assignIntWtReal.cvl
53 $(VERIFY) assignIntWtReal.cvl
54
55assume: assume.cvl
56 $(VERIFY) assume.cvl
57
58atomChooseBad: atomChooseBad.cvl
59 $(VERIFY) atomChooseBad.cvl
60
61atomicBlockedResume: atomicBlockedResume.cvl
62 $(VERIFY) atomicBlockedResume.cvl
63
64atomicStatement: atomicStatement.cvl
65 $(VERIFY) -inputB=3 atomicStatement.cvl
66
67atomicWait: atomicWait.cvl
68 $(VERIFY) -inputN=3 atomicWait.cvl
69
70atomStatement: atomStatement.cvl
71 $(VERIFY) atomStatement.cvl
72
73atomWaitBad: atomWaitBad.cvl
74 $(VERIFY) atomWaitBad.cvl
75
76badGuard: badGuard.cvl
77 $(VERIFY) badGuard.cvl
78
79bigO: bigO.cvl
80 $(VERIFY) bigO.cvl
81
82bitwise: bitwise.cvl
83 $(VERIFY) bitwise.cvl
84
85break: break.cvl
86 $(VERIFY) break.cvl
87
88bundleArray: bundleArray.cvl
89 $(VERIFY) bundleArray.cvl
90
91bundleConcrete: bundleConcrete.cvl
92 $(VERIFY) bundleConcrete.cvl
93
94bundleSize: bundleSize.cvl
95 $(VERIFY) bundleSize.cvl
96
97bundleStruct: bundleStruct.cvl
98 $(VERIFY) bundleStruct.cvl
99
100bundleStructComponent: bundleStructComponent.cvl
101 $(VERIFY) bundleStructComponent.cvl
102
103bundleTest: bundleTest.cvl
104 $(VERIFY) bundleTest.cvl
105
106bundleTestBad: bundleTestBad.cvl
107 $(VERIFY) bundleTestBad.cvl
108
109cast: cast.cvl
110 $(VERIFY) cast.cvl
111
112char: char.cvl
113 $(VERIFY) char.cvl
114
115choose: choose.cvl
116 $(VERIFY) choose.cvl
117
118choose_int: choose_int.cvl
119 $(VERIFY) choose_int.cvl
120
121civlfor: civlfor.cvl
122 $(VERIFY) civlfor.cvl
123
124civlParfor: civlParfor.cvl
125 $(VERIFY) civlParfor.cvl
126
127civlPragma: civlPragma.cvl
128 $(VERIFY) -inputNB=5 civlPragma.cvl
129
130comma: comma.cvl
131 $(VERIFY) comma.cvl
132
133compare: compare.cvl
134 $(VERIFY) compare.cvl
135
136conditionalExpression: conditionalExpression.cvl
137 $(VERIFY) conditionalExpression.cvl
138
139continue: continue.cvl
140 $(VERIFY) continue.cvl
141
142duffs: duffs.cvl
143 $(VERIFY) duffs.cvl
144
145dynamicStruct: dynamicStruct.cvl
146 $(VERIFY) dynamicStruct.cvl
147
148emptyWhen: emptyWhen.cvl
149 $(VERIFY) emptyWhen.cvl
150
151enum1: enum1.cvl
152 $(VERIFY) enum1.cvl
153
154enum2: enum2.cvl
155 $(VERIFY) enum2.cvl
156
157for: for.cvl
158 $(VERIFY) for.cvl
159
160functionBad: functionBad.cvl
161 $(VERIFY) functionBad.cvl
162
163functionPointer: functionPointer.cvl
164 $(VERIFY) functionPointer.cvl
165
166functionPrototype: functionPrototype.cvl
167 $(VERIFY) functionPrototype.cvl
168
169functionPrototypeBad: functionPrototypeBad.cvl
170 $(VERIFY) functionPrototypeBad.cvl
171
172implies: implies.cvl
173 $(VERIFY) implies.cvl
174
175include1: include1.cvl
176 $(VERIFY) include1.cvl
177
178include2: include2.cvl
179 $(VERIFY) include2.cvl
180
181include3: include3.cvl
182 $(VERIFY) include3.cvl
183
184inputBad: inputBad.cvl
185 $(VERIFY) inputBad.cvl
186
187int2char: int2char.cvl
188 $(VERIFY) int2char.cvl
189
190int2charBad: int2charBad.cvl
191 $(VERIFY) int2charBad.cvl
192
193int2charBad2: int2charBad2.cvl
194 $(VERIFY) int2charBad2.cvl
195
196int2float: int2float.cvl
197 $(VERIFY) int2float.cvl
198
199intToBool: intToBool.cvl
200 $(VERIFY) intToBool.cvl
201
202linkedList: linkedList.cvl
203 $(VERIFY) linkedList.cvl
204
205malloc: malloc.cvl
206 $(VERIFY) malloc.cvl
207
208mallocBad: mallocBad.cvl
209 $(VERIFY) mallocBad.cvl
210
211mallocBad2: mallocBad2.cvl
212 $(VERIFY) mallocBad2.cvl
213
214memLeak: memLeak.cvl
215 $(VERIFY) memLeak.cvl
216
217memoryLeak: memoryLeak.cvl
218 $(VERIFY) memoryLeak.cvl
219
220minimal: minimal.cvl
221 $(VERIFY) minimal.cvl
222
223nonbooleanCondition: nonbooleanCondition.cvl
224 $(VERIFY) nonbooleanCondition.cvl
225
226noopBad: noopBad.cvl
227 $(VERIFY) noopBad.cvl
228
229not: not.cvl
230 $(VERIFY) not.cvl
231
232null: null.cvl
233 $(VERIFY) null.cvl
234
235outputBad: outputBad.cvl
236 $(VERIFY) outputBad.cvl
237
238pointerAdd: pointerAdd.cvl
239 $(VERIFY) pointerAdd.cvl
240
241pointerAdd1: pointerAdd1.cvl
242 $(VERIFY) pointerAdd1.cvl
243
244pointerAdd2: pointerAdd2.cvl
245 $(VERIFY) pointerAdd2.cvl
246
247pointerAddBad: pointerAddBad.cvl
248 $(VERIFY) pointerAddBad.cvl
249
250pointerAddBad2: pointerAddBad2.cvl
251 $(VERIFY) pointerAddBad2.cvl
252
253pointers: pointers.cvl
254 $(VERIFY) pointers.cvl
255
256pointersBad: pointersBad.cvl
257 $(VERIFY) -errorBound=10 pointersBad.cvl
258
259pointerSubtraction: pointerSubtraction.cvl
260 $(VERIFY) pointerSubtraction.cvl
261
262pointerSubtractionBad: pointerSubtractionBad.cvl
263 $(VERIFY) pointerSubtractionBad.cvl
264
265pointerSubtractionBad2: pointerSubtractionBad2.cvl
266 $(VERIFY) pointerSubtractionBad2.cvl
267
268procBound: procBound.cvl
269 $(VERIFY) -procBound=10 procBound.cvl
270
271processLeak: processLeak.cvl
272 $(VERIFY) processLeak.cvl
273
274procNull: procNull.cvl
275 $(VERIFY) procNull.cvl
276
277quantifiers: quantifiers.cvl
278 $(VERIFY) quantifiers.cvl
279
280removedHeapPointer: removedHeapPointer.cvl
281 $(VERIFY) removedHeapPointer.cvl
282
283scopeOperators: scopeOperators.cvl
284 $(VERIFY) scopeOperators.cvl
285
286scoping: scoping.cvl
287 $(VERIFY) scoping.cvl
288
289self: self.cvl
290 $(VERIFY) self.cvl
291
292sideEffectLoop: sideEffectLoop.cvl
293 $(VERIFY) sideEffectLoop.cvl
294
295sideEffects: sideEffects.cvl
296 $(VERIFY) sideEffects.cvl
297
298sizeof: sizeof.cvl
299 $(VERIFY) sizeof.cvl
300
301spawnFoo: spawnFoo.cvl
302 $(VERIFY) spawnFoo.cvl
303
304stringTest: stringTest.cvl
305 $(VERIFY) stringTest.cvl
306
307struct: struct.cvl
308 $(VERIFY) struct.cvl
309
310structArray: structArray.cvl
311 $(VERIFY) structArray.cvl
312
313structStruct: structStruct.cvl
314 $(VERIFY) structStruct.cvl
315
316switch: switch.cvl
317 $(VERIFY) switch.cvl
318
319undefHeapPointer: undefHeapPointer.cvl
320 $(VERIFY) undefHeapPointer.cvl
321
322undefPointer: undefPointer.cvl
323 $(VERIFY) undefPointer.cvl
324
325union: union.cvl
326 $(VERIFY) union.cvl
327
328clean:
329 rm -rf CIVLREP *~
Note: See TracBrowser for help on using the repository browser.