269 static void do_test_case ( int caseNo, Bool isLoad, const TestCase* lc )  in do_test_case()  argument
275    assert(Cond_D1 <= lc->inp_Cond && lc->inp_Cond <= Cond_U0);  in do_test_case()
276    assert(Addr_DV <= lc->inp_Addr && lc->inp_Addr <= Addr_UI);  in do_test_case()
277    assert(lc->inp_Alt == Alt_Da || lc->inp_Alt == Alt_Ub);  in do_test_case()
278    assert(lc->inp_Data == Data_Dc || lc->inp_Data == Data_Ud);  in do_test_case()
279    assert('A' <= lc->res && lc->res <= 'D');  in do_test_case()
280    assert(lc->defErr_Cond == 'Y' || lc->defErr_Cond == 'N');  in do_test_case()
281    assert(lc->defErr_Addr == 'Y' || lc->defErr_Addr == 'N');  in do_test_case()
282    assert(lc->addrErr     == 'Y' || lc->addrErr     == 'N');  in do_test_case()
284    setup_test_data(lc->inp_Data);  in do_test_case()
291    switch (lc->inp_Cond) {  in do_test_case()
298    switch (lc->inp_Addr) {  in do_test_case()
305    switch (lc->inp_Alt) {  in do_test_case()
313      = (lc->defErr_Cond == 'Y' ? 1 : 0) + (lc->defErr_Addr == 'Y' ? 1 : 0)  in do_test_case()
314        + (lc->addrErr == 'Y' ? 1 : 0);  in do_test_case()
334    switch (lc->res) {  in do_test_case()