• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号
登陆 注册

C++ check_assert函数代码示例

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

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



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


示例16: cpuexc_handler

void
cpuexc_handler(void *p_excinf)
{
    ER		ercd;

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

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

    check_point(5);
    ercd = iunl_cpu();
    check_ercd(ercd, E_OK);
}
开发者ID:zaurus04，项目名称:cortexm3，代码行数:18，代码来源:test_cpuexc2.c


示例17: task2

void
task2(intptr_t exinf)
{
	ER_UINT	ercd;
	PRI		tskpri;

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

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

	check_point(50);
	ercd = loc_mtx(MTX2);
	check_ercd(ercd, E_OK);

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

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

	check_point(60);
	ercd = unl_mtx(MTX1);
	check_ercd(ercd, E_OK);

	check_point(61);
	ercd = unl_mtx(MTX2);
	check_ercd(ercd, E_OK);

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

	check_point(63);
	ercd = rot_rdq(MID_PRIORITY);
	check_ercd(ercd, E_OK);

	check_point(66);
	ercd = unl_mtx(MTX1);
	check_ercd(ercd, E_OK);

	ercd = get_pri(TASK1, &tskpri);
	check_ercd(ercd, E_OK);

	check_assert(tskpri == MID_PRIORITY);

	check_point(67);
	ercd = ext_tsk();

	check_point(0);
}
开发者ID:morioka，项目名称:toppers-asp3-for-linux，代码行数:56，代码来源:test_mutex4.c


示例18: task2

void
task2(intptr_t exinf)
{
	ID		tskid;
	ER_UINT	ercd;
	uint_t	load;

	check_point(7);
	ercd = get_lod(TPRI_SELF, &load);
	check_ercd(ercd, E_OK);

	check_assert(load == 3U);

	ercd = get_nth(TPRI_SELF, 0U, &tskid);
	check_ercd(ercd, E_OK);

	check_assert(tskid == TASK2);

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

	check_point(17);
	ercd = get_lod(TPRI_SELF, &load);
	check_ercd(ercd, E_OK);

	check_assert(load == 1U);

	check_point(18);
	ercd = chg_pri(TASK5, MID_PRIORITY);
	check_ercd(ercd, E_OK);

	ercd = get_lod(TPRI_SELF, &load);
	check_ercd(ercd, E_OK);

	check_assert(load == 2U);

	ercd = rot_rdq(TPRI_SELF);
	check_ercd(ercd, E_OK);

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


示例19: test_unstr_init_memory

static void test_unstr_init_memory(void)
{
	unstr_t *str = 0;
	size_t size = 0;
	{
		str = unstr_init_memory(0);
		check_null(str);
		unstr_free(str);
	}{
		size = 10;
		str = unstr_init_memory(size);
		check_assert(str->heap >= size);
		unstr_free(str);
	}{
		size = 1024 * 1024 * 1024;
		str = unstr_init_memory(size);
		check_assert(str->heap >= size);
		unstr_free(str);
	}
}
开发者ID:tanaton，项目名称:unstring，代码行数:20，代码来源:unstring_test.c


示例20: task1

void
task1(intptr_t exinf)
{
	ER		ercd;

	test_start(__FILE__);

	check_point(1);

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

	/*
	 *  テスト項目(A)のテスト
	 */
	tex_start_count = 0U;
	ercd = ras_tex(TASK1, 0x0001);
	check_ercd(ercd, E_OK);
	check_assert(tex_start_count == STASK_TEX_COUNT);

	check_point(2);

	/*
	 *  テスト項目(B)のテスト
	 */
	tex_start_count = 0U;
	ercd = ras_tex(TASK1, 0x0002);
	check_ercd(ercd, E_OK);
	check_assert(tex_start_count == STASK_TEX_COUNT);

	check_point(3);

	/*
	 *  この後のテストはTASK3で実施
	 */
	ercd = act_tsk(TASK3);
	check_ercd(ercd, E_OK);

	ercd = ext_tsk();
	check_point(0);
}
开发者ID:yuyaotsuka，项目名称:etrobo，代码行数:41，代码来源:test_tex8.c



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

鲜花
握手
雷人
路过
鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
More+
上一篇：
C++ check_block函数代码示例发布时间：2022-05-30
下一篇：
C++ check_args函数代码示例发布时间：2022-05-30
热门推荐
More+
热门话题
More+
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服（服务时间 9:00～18:00）

在线QQ客服
地址：深圳市南山区西丽大学城创智工业园
电邮：jeky_zhao#qq.com
移动电话：139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap