source: CIVL/examples/languageFeatures/abstractFunNoArg.cvl@ b67507f

1.23 2.0 main test-branch
Last change on this file since b67507f was d14fc86, checked in by Stephen Siegel <siegel@…>, 12 years ago

Added check that abstract functions have at least 1 argument, else CVC3 balks.

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

  • Property mode set to 100644
File size: 182 bytes
Line 
1#include <civlc.h>
2#include <assert.h>
3
4$abstract int random(void); // ERROR: abstract functions requires >= 1 input
5
6void main() {
7 int x = 0;
8
9 x = random();
10 assert(x==1);
11}
Note: See TracBrowser for help on using the repository browser.