当前位置: 首页>>代码示例>>C++>>正文

C++ check_assert函数代码示例

本文整理汇总了C++中check_assert函数的典型用法代码示例。如果您正苦于以下问题：C++ check_assert函数的具体用法？C++ check_assert怎么用？C++ check_assert使用的例子？那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。


在下文中一共展示了check_assert函数的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。

示例1: alarm3_handler

void
alarm3_handler(intptr_t exinf)
{
	ER_UINT	ercd;

	switch (++alarm3_count) {
	case 1:
		check_point(21);
		check_assert(fch_hrt() == 441U);

		check_point(22);
		ercd = wup_tsk(TASK1);
		check_ercd(ercd, E_OK);

		return;

		check_point(0);

	case 2:
		check_point(44);
		check_assert(fch_hrt() == 840U);

		check_point(45);
		ercd = wup_tsk(TASK1);
		check_ercd(ercd, E_OK);

		return;

		check_point(0);

	default:
		check_point(0);
	}
	check_point(0);
}
开发者ID:ev3rt-git，项目名称:ev3rt-hrp3，代码行数:35，代码来源:simt_systim1.c

示例2: task4

void
task4(intptr_t exinf)
{
	ER_UINT	ercd;
	T_RTSK	rtsk;
	T_RMTX	rmtx;

	check_point(19);
	ercd = loc_mtx(MTX1);
	check_ercd(ercd, E_OK);

	check_point(22);
	ercd = ref_tsk(TASK3, &rtsk);
	check_ercd(ercd, E_OK);

	check_assert(rtsk.tskstat == TTS_DMT);

	ercd = ref_mtx(MTX1, &rmtx);
	check_ercd(ercd, E_OK);

	check_assert(rmtx.htskid == TASK4);

	check_assert(rmtx.wtskid == TSK_NONE);

	check_point(23);
	ercd = slp_tsk();
	check_ercd(ercd, E_OK);

	check_point(0);
}
开发者ID:takeharukato，项目名称:asp3-aarch64，代码行数:30，代码来源:test_raster1.c

示例3: task3

void
task3(intptr_t exinf)
{
	ER		ercd;

	check_point(4);

	ercd = ena_tex();
	check_ercd(ercd, E_OK);

	/*
	 *  テスト項目(C)のテスト
	 */
	tex_start_count = 0U;
	ercd = ras_tex(TASK3, 0x0001);
	check_ercd(ercd, E_OK);
	check_assert(tex_start_count == UTASK_TEX_COUNT);

	check_point(5);

	/*
	 *  テスト項目(D)のテスト
	 */
	tex_start_count = 0U;
	ercd = ras_tex(TASK3, 0x0002);
	check_ercd(ercd, E_OK);
	check_assert(tex_start_count == UTASK_TEX_COUNT);

	check_finish(6);
}
开发者ID:yuyaotsuka，项目名称:etrobo，代码行数:30，代码来源:test_tex8.c

示例4: test_unstr_strpos

static void test_unstr_strpos(void)
{
	unstr_t *emp = unstr_init_memory(1);
	unstr_t *text = unstr_init_memory(1);
	unstr_t *search = unstr_init_memory(1);

	unstr_strcpy_char(text, "0123456789");
	unstr_strcpy_char(search, "34");

	check_assert(unstr_strpos(NULL, search) < 0);
	check_assert(unstr_strpos(emp, search) < 0);
	check_assert(unstr_strpos(text, NULL) < 0);
	check_assert(unstr_strpos(text, emp) < 0);

	unstr_strcpy_char(text, "0123456789");
	unstr_strcpy_char(search, "34");
	check_int(unstr_strpos(text, search), 3);

	unstr_strcpy_char(text, "000123456789");
	unstr_strcpy_char(search, "0");
	check_int(unstr_strpos(text, search), 0);

	unstr_strcpy_char(text, "0123456789");
	unstr_strcpy_char(search, "aaa");
	check_assert(unstr_strpos(text, search) < 0);

	unstr_delete(3, emp, text, search);
}
开发者ID:tanaton，项目名称:unstring，代码行数:28，代码来源:unstring_test.c

示例5: test_unstr_strstr_char

static void test_unstr_strstr_char(void)
{
	char *ret = 0;
	char *ans1 = "4567890";
	char *ans2 = "7890";
	char *s1 = "45";
	char *s2 = "7890";
	char *s3 = "hoge";
	unstr_t *str = unstr_init("1234567890");
	unstr_t *emp = unstr_init_memory(1);
	check_null(unstr_strstr_char(NULL, s1));
	check_null(unstr_strstr_char(NULL, ""));
	check_null(unstr_strstr_char(str, NULL));
	check_null(unstr_strstr_char(emp, NULL));
	check_null(unstr_strstr_char(str, ""));
	check_null(unstr_strstr_char(emp, s1));
	check_null(unstr_strstr_char(str, s3));

	ret = unstr_strstr_char(str, s1);
	check_assert(ret != NULL);
	check_char(ret, ans1);

	ret = unstr_strstr_char(str, s2);
	check_assert(ret != NULL);
	check_char(ret, ans2);

	unstr_delete(2, str, emp);
}
开发者ID:tanaton，项目名称:unstring，代码行数:28，代码来源:unstring_test.c

示例6: task1

void
task1(intptr_t exinf)
{
	ER_UINT	ercd;

	test_start(__FILE__);

	check_point(1);
	ercd = act_tsk(TASK2);
	check_ercd(ercd, E_OK);

	ercd = act_tsk(TASK4);
	check_ercd(ercd, E_OK);

	ercd = slp_tsk();
	check_ercd(ercd, E_OK);

	check_point(4);
	ercd = snd_mbf(MBF1, string2, 25);
	check_ercd(ercd, E_OK);

	check_point(6);
	check_assert(strncmp(buf1, string2, 25) == 0);

	ercd = act_tsk(TASK3);
	check_ercd(ercd, E_OK);

	ercd = slp_tsk();
	check_ercd(ercd, E_OK);

	check_point(13);
	ercd = snd_mbf(MBF1, string2, 10);
	check_ercd(ercd, E_OK);

	ercd = rcv_mbf(MBF1, buf1);
	check_ercd(ercd, 10);

	check_assert(strncmp(buf1, string2, 10) == 0);

	ercd = slp_tsk();
	check_ercd(ercd, E_OK);

	check_point(24);
	ercd = chg_pri(TASK3, LOW_PRIORITY);
	check_ercd(ercd, E_OK);

	ercd = slp_tsk();
	check_ercd(ercd, E_OK);

	check_point(34);
	ercd = chg_pri(TASK2, HIGH_PRIORITY);
	check_ercd(ercd, E_OK);

	ercd = slp_tsk();
	check_ercd(ercd, E_OK);

	check_point(0);
}
开发者ID:PizzaFactory，项目名称:hrp2ev3，代码行数:58，代码来源:test_messagebuf3.c

示例7: test_unstr_empty

static void test_unstr_empty(void)
{
	unstr_t *str = unstr_init("unkokkokussakusa");
	check_assert(unstr_empty(NULL) == UNSTRING_TRUE);
	check_assert(unstr_empty(str) == UNSTRING_FALSE);
	unstr_zero(str);
	check_assert(unstr_empty(str) == UNSTRING_TRUE);
	unstr_free(str);
}
开发者ID:tanaton，项目名称:unstring，代码行数:9，代码来源:unstring_test.c

示例8: task1

void
task1(intptr_t exinf)
{
	ER_UINT	ercd;
	T_RTSK	rtsk;
	T_RMTX	rmtx;
	PRI		intpri;

	test_start(__FILE__);

	check_point(1);
	ercd = sta_alm(ALM1, TEST_TIME_CP);
	check_ercd(ercd, E_OK);

	ercd = slp_tsk();
	check_ercd(ercd, E_OK);

	check_point(3);
	ercd = act_tsk(TASK2);
	check_ercd(ercd, E_OK);

	check_point(5);
	ercd = ref_tsk(TASK2, &rtsk);
	check_ercd(ercd, E_OK);

	check_assert(rtsk.tskstat == TTS_DMT);

	ercd = ref_mtx(MTX1, &rmtx);
	check_ercd(ercd, E_OK);

	check_assert(rmtx.htskid == TSK_NONE);

	check_assert(rmtx.wtskid == TSK_NONE);

	ercd = act_tsk(TASK2);
	check_ercd(ercd, E_OK);

	check_point(16);
	ercd = get_ipm(&intpri);
	check_ercd(ercd, E_OK);

	check_assert(intpri == TIPM_ENAALL);

	ercd = act_tsk(TASK2);
	check_ercd(ercd, E_OK);

	check_point(23);
	check_assert(sns_dsp() == false);

	ercd = act_tsk(TASK2);
	check_ercd(ercd, E_OK);

	check_finish(28);
	check_point(0);
}
开发者ID:ev3rt-git，项目名称:ev3rt-hrp3，代码行数:55，代码来源:test_exttsk.c

示例9: task2

void
task2(intptr_t exinf)
{
	ER_UINT	ercd;
	ID		somid;

	test_start(__FILE__);

	check_point(1);
	ercd = get_som(&somid);
	check_ercd(ercd, E_OK);

	check_assert(somid == SOM1);

	WAIT(task2_flag);

	check_point(4);
	ercd = chg_som(SOM2);
	check_ercd(ercd, E_OK);

	ercd = get_som(&somid);
	check_ercd(ercd, E_OK);

	check_assert(somid == SOM1);

	WAIT(task2_flag);

	check_point(8);
	WAIT(task2_flag);

	check_point(14);
	WAIT(task2_flag);

	check_point(19);
	ercd = sta_cyc(CYC1);
	check_ercd(ercd, E_OK);

	ercd = get_som(&somid);
	check_ercd(ercd, E_OK);

	check_assert(somid == SOM1);

	WAIT(task2_flag);

	check_point(25);
	WAIT(task2_flag);

	check_point(30);
	WAIT(task2_flag);

	check_point(0);
}
开发者ID:ev3rt-git，项目名称:ev3rt-hrp3，代码行数:52，代码来源:test_tprot3.c

示例10: cpuexc_handler

void
cpuexc_handler(void *p_excinf)
{
	check_point(3);
	check_assert(xsns_xpn(p_excinf) == true);
	check_assert(xsns_dpn(p_excinf) == true);

#ifdef CANNOT_RETURN_CPUEXC
	check_finish(4);
#endif /* CANNOT_RETURN_CPUEXC */

	check_point(4);
}
开发者ID:bzchangguopeng，项目名称:toppers-asp，代码行数:13，代码来源:test_cpuexc4.c

示例11: test_unstr_sscanf

static void test_unstr_sscanf(void)
{
	size_t ret = 0;
	unstr_t *source1 = unstr_init("unko<>hoge<>fuga");
	unstr_t *source2 = unstr_init("<>unko<>hoge");
	unstr_t *source3 = unstr_init("unko<>hoge<>fuga<>");
	unstr_t *source4 = unstr_init("unko<><>fuga");
	unstr_t *source5 = unstr_init("unko$hoge$fuga");
	unstr_t *p1 = unstr_init_memory(1);
	unstr_t *p2 = unstr_init_memory(1);
	unstr_t *p3 = unstr_init_memory(1);

	ret = unstr_sscanf(NULL, "<>$<>", p1);
	check_int(ret, 0);
	ret = unstr_sscanf(source1, NULL, p1);
	check_int(ret, 0);
	ret = unstr_sscanf(source1, "unko<>", p1);
	check_int(ret, 0);

	ret = unstr_sscanf(source1, "$<>$<>$<>", p1, p2, p3);
	check_int(ret, 3);
	check_unstr_char(p1, "unko");
	check_unstr_char(p2, "hoge");
	check_unstr_char(p3, "fuga");

	ret = unstr_sscanf(source2, "$<>$<><>$", p1, p2, p3);
	check_int(ret, 2);
	check_assert(unstr_empty(p1) == UNSTRING_TRUE);
	check_unstr_char(p2, "unko<>hoge");

	ret = unstr_sscanf(source3, "$<>$<>$", p1, p2, p3);
	check_int(ret, 3);
	check_unstr_char(p1, "unko");
	check_unstr_char(p2, "hoge");
	check_unstr_char(p3, "fuga<>");

	ret = unstr_sscanf(source4, "$<>$<>$", p1, p2, p3);
	check_int(ret, 3);
	check_unstr_char(p1, "unko");
	check_assert(unstr_empty(p2) == UNSTRING_TRUE);
	check_unstr_char(p3, "fuga");

	ret = unstr_sscanf(source5, "$$$$$$", p1, p2, p3);
	check_int(ret, 3);
	check_unstr_char(p1, "unko");
	check_unstr_char(p2, "hoge");
	check_unstr_char(p3, "fuga");

	unstr_delete(8, source1, source2, source3, source4, source5, p1, p2, p3);
}
开发者ID:tanaton，项目名称:unstring，代码行数:50，代码来源:unstring_test.c

示例12: test_unstr_explode

static void test_unstr_explode(void)
{
	size_t i = 0;
	size_t len = 0;
	unstr_t *str = unstr_init("1 2 3 4 5 6 7 8 9 0 ");
	char *delim = " ";
	char *ans[11] = {"1", "2", "3", "4", "5", "6", "7", "8", "9", "0", ""};
	unstr_t *emp = unstr_init_memory(1);
	unstr_t **ret = 0;
	check_null(unstr_explode(NULL, delim, &len));
	check_null(unstr_explode(emp, delim, &len));
	check_null(unstr_explode(str, NULL, &len));
	check_null(unstr_explode(str, "", &len));
	check_null(unstr_explode(str, delim, NULL));

	len = 1234;
	ret = unstr_explode(str, delim, &len);
	check_assert(len < 1234);
	for(i = 0; i < len; i++){
		check_unstr_char(ret[i], ans[i]);
		unstr_free(ret[i]);
	}
	unstr_delete(2, str, emp);
	free(ret);
}
开发者ID:tanaton，项目名称:unstring，代码行数:25，代码来源:unstring_test.c

示例13: cpuexc_handler

void
cpuexc_handler(void *p_excinf)
{
	ER		ercd;

	check_point(3);
	check_state_i(true, false, true, true, false);
	check_assert(xsns_xpn(p_excinf) == false);
	check_assert(xsns_dpn(p_excinf) == true);

	check_point(4);
	ercd = iras_tex(TASK1, 1U);
	check_ercd(ercd, E_OK);
	ercd = iloc_cpu();
	check_ercd(ercd, E_OK);
}
开发者ID:morioka，项目名称:toppers-asp-for-linux，代码行数:16，代码来源:test_cpuexc7.c

示例14: task1

void
task1(intptr_t exinf)
{
	ER_UINT	ercd;
	ID		somid;

	check_point(2);
	WAIT(task1_flag);

	check_point(5);
	WAIT(task1_flag);

	check_point(7);
	ercd = get_som(&somid);
	check_ercd(ercd, E_OK);

	check_assert(somid == SOM2);

	WAIT(task1_flag);

	check_point(10);
	ercd = get_som(&somid);
	check_ercd(ercd, E_OK);

	check_assert(somid == SOM3);

	WAIT(task1_flag);

	check_point(13);
	ercd = get_som(&somid);
	check_ercd(ercd, E_OK);

	check_assert(somid == SOM2);

	WAIT(task1_flag);

	check_point(20);
	WAIT(task1_flag);

	check_point(26);
	WAIT(task1_flag);

	check_point(31);
	WAIT(task1_flag);

	check_point(0);
}
开发者ID:ev3rt-git，项目名称:ev3rt-hrp3，代码行数:47，代码来源:test_tprot3.c

示例15: test_unstr_substr

static void test_unstr_substr(void)
{
	char *ans[] = {
		"123",
		"unkokko"
	};
	unstr_t *tmp = unstr_init_memory(1);
	unstr_t *emp = unstr_init_memory(1);
	unstr_t *str = unstr_init("1234567890");
	check_assert(unstr_substr(NULL, str, 3) == UNSTRING_FALSE);
	check_assert(unstr_substr(tmp, NULL, 3) == UNSTRING_FALSE);
	check_assert(unstr_substr(tmp, emp, 3) == UNSTRING_FALSE);

	check_assert(unstr_substr(tmp, str, 0) == UNSTRING_TRUE);
	check_assert(unstr_empty(tmp) == UNSTRING_TRUE);

	check_assert(unstr_substr(tmp, str, 3) == UNSTRING_TRUE);
	check_unstr_char(tmp, ans[0]);

	unstr_strcpy_char(str, "unkokkokussakusa");
	check_assert(unstr_substr(tmp, str, 7) == UNSTRING_TRUE);
	check_unstr_char(tmp, ans[1]);

	unstr_delete(3, str, tmp, emp);
}
开发者ID:tanaton，项目名称:unstring，代码行数:25，代码来源:unstring_test.c


注：本文中的check_assert函数示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台，相关代码片段筛选自各路编程大神贡献的开源项目，源码版权归原作者所有，传播和使用请参考对应项目的License；未经允许，请勿转载。