弧菌科中尚未发现对人有致病性的是（）

A.发光杆菌属

B.气单胞菌属

C.邻单胞菌属

D.弧菌属

E.螺杆菌属

针对以下C语言程序，请按要求回答问题。
下面是一个简单的C语言程序：
int funcl(int a,b,c)
int k=1;
if((a＞0 || b＜0)) k=k+a;
else k=k+b;
if(c＞0) k=k+c;
return k;

设计测试用例，分别使函数的各种逻辑覆盖率尽量达到100%。如果认为该函数的某种逻辑覆盖率无法达到100%，需要说明原因。