Context Navigation

scoping.cvl@ 5feb8e1

1.23 2.0 main test-branch

Last change on this file since 5feb8e1 was 09b9231b, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

implemented assert statements with printing functionality; since $assert is redefined as a function in civlc.h, the translation in FunctionTranslator is changed and all examples using $assert is updated accordingly; translates assert() which is defined in assert.h into an assert statement; fixed warnings in mpi executor.

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

Property mode set to 100644

File size: 220 bytes

Rev	Line
[36b5ada]	1	/* Commandline execution:
	2	* civl verify scoping.cvl
	3	* */
[793cfc2]	4	#include <civlc.h>
	5
	6	void main() {
	7	int x = 0;
	8
	9	for (int i = 0; i < 5; i++) {
	10	int x = i + 1;
	11	x++;
[09b9231b]	12	$assert(x == i + 2);
[793cfc2]	13	}
[09b9231b]	14	$assert(x == 0);
[793cfc2]	15	}

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format