Context Navigation

structStruct.cvl@ b1b88d8

1.23 2.0 main test-branch

Last change on this file since b1b88d8 was 3ff27cf, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

updated examples since $assert/$assume has been changed to functions; fixed the model builder for the new side-effect remover.

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

File size: 311 bytes

Rev	Line
[36b5ada]	1	/* Commandline execution:
	2	* civl verify structStruct.cvl
	3	* */
[e6b02c8]	4	#include <civlc.cvh>
[4eccc907]	5
	6	typedef struct foo {
	7	struct {
	8	int* a;
	9	double b;
	10	} bar;
	11	} foo;
	12
	13	void main() {
	14	foo s;
	15	int a[4];
	16
	17	a[2] = 3;
	18	s.bar.b = 5.6;
	19	s.bar.a = &a[1];
[3ff27cf]	20	$assert((s.bar.b == 5.6));
	21	$assert((s.bar.a[1] == 3));
[4eccc907]	22	}

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