updated test_logic.c