本文整理汇总了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;未经允许,请勿转载。 |
请发表评论