Context Navigation

equals.cvl@ 0fdf4bd

1.23 2.0 acw/focus-triggers main test-branch

Last change on this file since 0fdf4bd 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: 306 bytes

Rev	Line
[4208097]	1	#include<civlc.cvh>
	2	#include<pointer.cvh>
[dfabdc0]	3
	4	void main(){
	5	int* data;
[e1083b3]	6	_Bool result;
	7	int a = 1;
[dfabdc0]	8
	9	data = (int) $malloc($root, sizeof(int)2);
	10	*data = 1;
	11	*(data + 1) = 2;
[e1083b3]	12	result = $equals(data, data+1);
[3ff27cf]	13	$assert((!result));
[e1083b3]	14	result = $equals(data, &a);
[3ff27cf]	15	$assert((result));
[dfabdc0]	16	$free(data);
	17	}

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