Context Navigation

assertPrintf.cvl@ a054a5b

1.23 2.0 main test-branch

Last change on this file since a054a5b was 25be2a6, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

added tests for $assert with printing, and for the regular C assert.

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

File size: 179 bytes

Rev	Line
[25be2a6]	1	/*
	2	* Commandline example:
	3	* civl verify assertPrintf.cvl
	4	*/
	5	#include<civlc.h>
	6
	7	void main(){
	8	int a = 10;
	9	int b = 2;
	10	$assert(b > a, "%d is smaller than %d!", b, a);
	11	}

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