C++ (Cpp) cba_expect_eq_intの例

コード例 #1

ファイル: unsigned_long_long.c プロジェクト: 8l/insieme

int main(int argc, char** argv) {

	ull a = 2;
	ull b = 5;

	int c = a + b;

	cba_print_code();
	cba_expect_eq_int(a, 2);
	cba_expect_eq_int(b, 5);
	cba_expect_eq_int(c, 7);
	cba_expect_eq_int(a+b, 7);
	
	return 0;
}

コード例 #2

ファイル: static_counter.c プロジェクト: insieme/insieme

int main(int argc, char** argv) {

	cba_print_code();


	// check whether ticks are properly analyzed
	cba_expect_eq_int(1,s());
	cba_expect_eq_int(2,s());
	cba_expect_eq_int(3,s());

	cba_expect_eq_int(5,d());

//	cba_dump_equations();
	
	return 0;
}

コード例 #3

ファイル: global_counter.cpp プロジェクト: insieme/insieme

int main(int argc, char** argv) {

	// test the initial value
	cba_expect_eq_int(A::instances, 0);

	A a;
	cba_expect_eq_int(A::instances, 1);

	new A();
	cba_expect_eq_int(A::instances, 2);

//	cba_dump_solution();
//	cba_print_code();
//	cba_dump_json();

	return 0;
}

コード例 #4

ファイル: arithmetic.c プロジェクト: 8l/insieme

int main(int argc, char** argv) {

	// let's start with something simple
	cba_expect_eq_int(1,1);

	// a little more challenging
	int a = 10;
	int b = 12;
	cba_expect_ne_int(a,b);
	cba_expect_eq_int(a+2, b);

	// with some unknown value
	cba_expect_ne_int(a+argc,b+argc);
	cba_expect_eq_int(a+2+argc, b+argc);


	// including function calls
	cba_expect_eq_int(a,min(a,b));
	cba_expect_eq_int(b,max(a,b));

	// even more tricky
	cba_expect_eq_int(a+argc,min(a+argc,b+argc));

	// and after an update
	a = 14;
	cba_expect_eq_int(b+argc,min(a+argc,b+argc));

	return 0;
}

コード例 #5

ファイル: funs.c プロジェクト: insieme/insieme

int main(int argc, char** argv) {

	// two values
	int a = 12;
	int b = 14;

	cba_expect_eq_int(26, sum(a,b));

	// test a function pointer
	int (*f)(int,int);
	f = ∑

	cba_expect_eq_int(3, f(1,2));

	f = &diff;
	cba_expect_eq_int(1, f(3,2));

}

コード例 #6

ファイル: arrays_multidim.c プロジェクト: insieme/insieme

int main(int argc, char** argv) {

	cba_print_code();

	// create an image
	Image i = create_image(20,40);

	cba_print_int(i.data);

	i.data[2][4] = 5;

	cba_print_int(i.data);
	cba_print_int(i.data[2]);
	cba_print_int(i.data[2][4]);
	cba_expect_eq_int(i.data[2][4], 5);
	cba_dump_equations();

	return 0;
}

コード例 #7

ファイル: initializer_globals.cpp プロジェクト: insieme/insieme

int main(int argc, char** argv) {

	// check the proper handling of the global initialization
	cba_expect_eq_int(g,10);
	cba_expect_eq_int(p,3);

	// but they can be changed
	g++;
	cba_expect_eq_int(g,11);
	cba_expect_eq_int(p,3);

	p--;
	cba_expect_eq_int(g,11);
	cba_expect_eq_int(p,2);

//	cba_dump_solution();
//	cba_print_code();
//	cba_dump_json();

	return 0;
}

コード例 #8

ファイル: structs.c プロジェクト: HerbertJordan/insieme

int main(int argc, char** argv) {

	// simple stuff
	point a = { 10, 12 };
	point* b = &a;

	cba_expect_eq_int(a.x, 10);
	cba_expect_eq_int(a.y, 12);
	cba_expect_eq_int(b->x, 10);
	cba_expect_eq_int(b->y, 12);


	a.x = a.x + a.y * 2;

	cba_expect_eq_int(a.x, 34);
	cba_expect_eq_int(a.y, 12);

	cba_expect_eq_int(b->x, 34);
	cba_expect_eq_int(b->y, 12);


	b->y = argc;

	cba_expect_eq_int(a.x, 34);
	cba_expect_eq_int(a.y, argc);

	cba_expect_eq_int(b->x, 34);
	cba_expect_eq_int(b->y, argc);

}