1.23
2.0
main
test-branch
|
Last change
on this file since ee38d17 was 5af87592, checked in by Manchun Zheng <zmanchun@…>, 12 years ago |
|
implemented new command line specification, added grammar for command line specification, supported linking and command line macros now, improved the clarity of compare command.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1665 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
168 bytes
|
| Line | |
|---|
| 1 |
|
|---|
| 2 | $input int N;
|
|---|
| 3 | $input int a[N];
|
|---|
| 4 | $input int B;
|
|---|
| 5 | $output int result;
|
|---|
| 6 | $assume 0 < N && N < B;
|
|---|
| 7 |
|
|---|
| 8 | int getMax(int* array, int length);
|
|---|
| 9 |
|
|---|
| 10 | void main(){
|
|---|
| 11 | result = getMax(a, N);
|
|---|
| 12 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
