source: CIVL/examples/library/civlc/seq_init.cvl@ d87ec9c

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

added error checking for $free; added system functions $copy, $seq_init, $translate_ptr, etc.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1284 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 166 bytes
Line 
1#include<civlc.h>
2
3$input int N;
4
5void main(){
6 int a[];
7 int b = 4;
8 int length;
9
10 $seq_init(&a, N, &b);
11 length = $seq_length(&a);
12 $assert(length == N);
13}
Note: See TracBrowser for help on using the repository browser.