Hardware
/
VexRiscv
mirror of https://github.com/SpinalHDL/VexRiscv.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Look like zephyr mem_pool_threadsafe is a broken test

This commit is contained in:
Charles Papon 2019-04-21 17:48:08 +02:00
parent 1c86bf7514
commit 4cbb93cfc8
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/test/cpp/regression/main.cpp
View File

@ -494,8 +494,17 @@ public:
targetPrivilege = max(targetPrivilege, privilege); targetPrivilege = max(targetPrivilege, privilege);
Xtvec xtvec = targetPrivilege == 3 ? mtvec : stvec; Xtvec xtvec = targetPrivilege == 3 ? mtvec : stvec;
switch(targetPrivilege){ switch(targetPrivilege){
case 3: case 3:
if(interrupt){
if(!status.mie || !(ie.raw & (1 << cause)) || !(getIp().raw & (1 << cause))){
cout << "DUT had trigger an interrupts which isnt pending in REF" << endl;
fail();
}
}
if(valueWrite) mbadaddr = value; if(valueWrite) mbadaddr = value;
mcause.interrupt = interrupt; mcause.interrupt = interrupt;
mcause.exceptionCode = cause; mcause.exceptionCode = cause;
@ -505,6 +514,12 @@ public:
mepc = pc; mepc = pc;
break; break;
case 1: case 1:
if(interrupt){
if(!status.sie || !(ie.raw & (1 << cause)) || !(getIp().raw & (1 << cause))){
cout << "DUT had trigger an interrupts which isnt pending in REF" << endl;
fail();
}
}
if(valueWrite) sbadaddr = value; if(valueWrite) sbadaddr = value;
scause.interrupt = interrupt; scause.interrupt = interrupt;
scause.exceptionCode = cause; scause.exceptionCode = cause;
@ -3350,12 +3365,11 @@ string freeRtosTests[] = {
string zephyrTests[] = { string zephyrTests[] = {
"tests_kernel_stack_stack_api", "tests_kernel_stack_stack_api",
// "tests_kernel_mutex_mutex", //Too long
"tests_kernel_context", "tests_kernel_context",
// "tests_kernel_critical", //Too long // "tests_kernel_critical", //Too long
"tests_kernel_fifo_fifo_api", "tests_kernel_fifo_fifo_api",
"tests_kernel_mbox_mbox_usage", "tests_kernel_mbox_mbox_usage",
"tests_kernel_mem_pool_mem_pool_threadsafe", // "tests_kernel_mem_pool_mem_pool_threadsafe", //Lock like it's a zephyr issue ?
"tests_kernel_sleep", "tests_kernel_sleep",
"tests_kernel_timer_timer_api" "tests_kernel_timer_timer_api"
}; };