Context Navigation

exit.cvl@ 5828ade

1.23 2.0 main test-branch

Last change on this file since 5828ade 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: 254 bytes

Rev	Line
[36b5ada]	1	/* Commandline execution:
	2	* civl verify exit.cvl
	3	* */
[65b3124]	4	#include<civlc.h>
	5
	6	void f() {
	7	for (int i = 0; i < 10; i++) {
	8	if (i == 8) {
	9	$exit();
	10	}
[09b9231b]	11	$assert(i < 9);
[65b3124]	12	}
	13	}
	14
	15	void main() {
	16	for (int i = 0; i < 4; i++) {
	17	$spawn f();
	18	}
	19	}

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

Download in other formats:

Original Format