#include "unity.h"
#include "main.h"
#include "stub_io.h"
#include "mock_Configure.h"
#include "mock_BlinkTask.h"
void setUp(void) {}    // every test file requires this function;
                       // setUp() is called by the generated runner before each test case function
void tearDown(void) {} // every test file requires this function;
                       // tearDown() is called by the generated runner before each test case function

void test_AppMain_should_call_configure(void) //Reqs: 
{
    /* Ensure known test state */
    BlinkTaskReady=0;
    /* Setup expected call chain */
    Configure_Expect();
    /* Call function under test */
    AppMain();

    /* Verify test results */
    TEST_ASSERT_EQUAL(0, BlinkTaskReady);
}
void test_AppMain_should_call_configure_and_BlinkTask(void) //Reqs: 
{
    /* Ensure known test state */
    BlinkTaskReady=1;
    /* Setup expected call chain */
    Configure_Expect();
    BlinkTask_Expect();
    /* Call function under test */
    AppMain();

    /* Verify test results */
    TEST_ASSERT_EQUAL(0, BlinkTaskReady);
}
void test_ISR_should_increment_tick(void) //Reqs: 
{
    /* Ensure known test state */
    tick = 0;
    /* Setup expected call chain */

    /* Call function under test */
    ISR();

    /* Verify test results */
    TEST_ASSERT_EQUAL(1, tick);
}
void test_ISR_should_set_blinkReady_increment_tick(void) //Reqs: 
{
    /* Ensure known test state */
    tick = 1000;
    /* Setup expected call chain */

    /* Call function under test */
    ISR();

    /* Verify test results */
    TEST_ASSERT_EQUAL(1, tick);
    TEST_ASSERT_EQUAL(1, BlinkTaskReady);
}