source: CIVL/examples/library/civlc/defined.cvl@ f3527dd

1.23 2.0 main test-branch
Last change on this file since f3527dd was de97ccc, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

added system function $defined, and test accordingly: LibraryTest.defined().

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

  • Property mode set to 100644
File size: 132 bytes
Line 
1#include<civlc.cvh>
2
3int main(){
4 int a, b, c = 0;
5
6 $assert(!$defined(&a));
7 $assert(!$defined(&b));
8 $assert($defined(&c));
9}
Note: See TracBrowser for help on using the repository browser.