source: CIVL/examples/arithmetic/Makefile@ a8ca3d3

1.23 2.0 main test-branch
Last change on this file since a8ca3d3 was 289a368, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

add a test of the CIVL model that introduces an ArrayIndexOutOfBounds exception in SARL, which might be a bug in clj.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@455 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 989 bytes
Line 
1
2CIVL=civl
3VERIFY=$(CIVL) verify
4
5all: algebra assoc derivative diffusion division \
6 divisionBad laplace matmat matmatBad mean meanBad \
7 multiplicationInLoopCondition
8
9algebra: algebra.cvl
10 $(VERIFY) algebra.cvl
11
12assoc: assoc.cvl
13 $(VERIFY) -inputB=10 assoc.cvl
14
15derivative: derivative.cvl
16 $(VERIFY) derivative.cvl
17
18diffusion: diffusion.cvl
19 $(VERIFY) diffusion.cvl
20
21division: division.cvl
22 $(VERIFY) division.cvl
23
24divisionBad: divisionBad.cvl
25 $(VERIFY) divisionBad.cvl
26 $(CIVL) replay divisionBad.cvl
27
28laplace: laplace.cvl
29 $(VERIFY) laplace.cvl
30
31matmat: matmat.cvl
32 $(VERIFY) matmat.cvl -inputBOUND=3
33
34matmatBad: matmatBad.cvl
35 $(VERIFY) -min matmatBad.cvl -inputBOUND=3
36 $(CIVL) replay matmatBad.cvl
37
38mean: mean.cvl
39 $(VERIFY) -inputB=10 mean.cvl
40
41meanBad: meanBad.cvl
42 $(VERIFY) -min -inputB=10 meanBad.cvl
43 $(CIVL) replay meanBad.cvl
44
45multiplicationInLoopCondition: multiplicationInLoopCondition.cvl
46 $(VERIFY) multiplicationInLoopCondition.cvl
47
48clean:
49 rm -rf CIVLREP *~
50
51
52
Note: See TracBrowser for help on using the repository browser.