C++ (Cpp) mymodule_initの例

コード例 #1

ファイル: fail_client.c プロジェクト: verifast/verifast

int main() //@ : main_full(fail_client)
//@ requires module(fail_client, true);
//@ ensures true;
{
    //@ open_module();
    mymodule_init();
    mysubmodule_init();
    mymodule_set(50);
    int x = mymodule_get();
    //@ assert x == 50;
    mysubmodule_destroy();
    mymodule_destroy();
    //@ close_module();
    //@ leak module(fail_client, _);
    return 0;
}

コード例 #2

ファイル: test.cpp プロジェクト: drmetal/greenlight

TEST(test_mymodule, test_function_mymodule_dostuff_invalid_parameter)
{
    mymodule_init(45);
    ASSERT_STREQ(mymodule_dostuff(), (const char*)"unknown parameter");
}

コード例 #3

ファイル: test.cpp プロジェクト: drmetal/greenlight

TEST(test_mymodule, test_function_mymodule_dostuff_parameter1)
{
    mymodule_init(INT1);
    ASSERT_STREQ(mymodule_dostuff(), (const char*)"done action 1");
}

コード例 #4

ファイル: test.cpp プロジェクト: drmetal/greenlight

TEST(test_mymodule, test_function_mymodule_init_valid_parameter2)
{
    mymodule_init(INT2);
    ASSERT_EQ(mymodule_state(), (int)INT2);
}

コード例 #5

ファイル: test.cpp プロジェクト: drmetal/greenlight

TEST(test_mymodule, test_function_mymodule_init_invalid_parameter)
{
    mymodule_init(-1);
    ASSERT_NEQ(mymodule_state(), (int)-1);
}

コード例 #6

ファイル: test_failure.cpp プロジェクト: drmetal/greenlight

/**
 * example failing test. to run:
 * greenlight --sources=../module.c,./test_failure.cpp --includes=../
 */
TEST(test_mymodule, test_function_mymodule_dostuff_invalid_parameter)
{
    mymodule_init(45);
    ASSERT_STREQ(mymodule_dostuff(), (const char*)"test is meant to fail");
}