1.23
2.0
main
test-branch
|
Last change
on this file since 3db34e3 was f83804d, checked in by Stephen Siegel <siegel@…>, 12 years ago |
|
Adding source file diffusion1d_spec.c
Creating new comparison model for diffusion1d that will be very close
to source.
Running into bug right now with abstract function.
Checking in little abstract function example which works fine.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@772 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
207 bytes
|
| Line | |
|---|
| 1 | #include<civlc.h>
|
|---|
| 2 | #include<stdio.h>
|
|---|
| 3 |
|
|---|
| 4 | $input int N;
|
|---|
| 5 | $assume N>2;
|
|---|
| 6 | $abstract int colorOf(double x);
|
|---|
| 7 |
|
|---|
| 8 | void main() {
|
|---|
| 9 | double u[N];
|
|---|
| 10 |
|
|---|
| 11 | void f() {
|
|---|
| 12 | int x = colorOf(u[2]);
|
|---|
| 13 |
|
|---|
| 14 | printf("x=%d\n", x);
|
|---|
| 15 | }
|
|---|
| 16 | f();
|
|---|
| 17 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
