Searched full:test (Results 1 – 25 of 50) sorted by relevance
12
4 [submodule "test/unit-test/CMock"]5 path = test/unit-test/CMock8 [submodule "test/cbmc/aws-templates-for-cbmc-proofs"]9 path = test/cbmc/aws-templates-for-cbmc-proofs12 [submodule "test/cbmc/litani"]13 path = test/cbmc/litani
63 …make` file, refer to the `coverity_analysis` library target in [test/CMakeLists.txt](test/CMakeLis…71 git submodule update --checkout --init --recursive test/unit-test/CMock74 ### Unit Test Platform Prerequisites79 - **Ruby 2.0.0 or later** is additionally required for the CMock test framework (that we use).86 1. Run the *cmake* command: `cmake -S test -B build`90 1. The generated test executables will be present in `build/bin/tests` folder.92 1. Run `cd build && ctest` to execute all tests and view the test run summary.
18 PROOF_SOURCES += $(SRCDIR)/test/cbmc/sources/mqtt_agent_cbmc_state.c19 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/network_interface_stubs.c20 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/incoming_publish_callback_stub.c21 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/get_time_stub.c22 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_command_pool_stubs.c23 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_message_stubs.c
6 "proof-root": "test/cbmc/proofs"
32 PROOF_SOURCES += $(SRCDIR)/test/cbmc/sources/mqtt_agent_cbmc_state.c33 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/network_interface_stubs.c34 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/incoming_publish_callback_stub.c35 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/get_time_stub.c36 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_command_pool_stubs.c37 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_message_stubs.c38 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/core_mqtt_stubs.c
42 PROOF_SOURCES += $(SRCDIR)/test/cbmc/sources/mqtt_agent_cbmc_state.c43 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/network_interface_stubs.c44 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/incoming_publish_callback_stub.c45 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/get_time_stub.c46 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_command_pool_stubs.c47 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_message_stubs.c48 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_command_functions_stub.c49 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/core_mqtt_stubs.c
34 PROOF_SOURCES += $(SRCDIR)/test/cbmc/sources/mqtt_agent_cbmc_state.c35 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/network_interface_stubs.c36 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/incoming_publish_callback_stub.c37 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/get_time_stub.c38 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_command_pool_stubs.c39 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_message_stubs.c40 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/core_mqtt_stubs.c
40 PROOF_SOURCES += $(SRCDIR)/test/cbmc/sources/mqtt_agent_cbmc_state.c41 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/network_interface_stubs.c42 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/incoming_publish_callback_stub.c43 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/get_time_stub.c44 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_command_pool_stubs.c45 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/agent_message_stubs.c46 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/core_mqtt_stubs.c
2 project ( "MQTTAgent unit test"53 # ==================================== Test Configuration ========================================56 set( CMOCK_DIR ${MODULE_ROOT_DIR}/test/unit-test/CMock CACHE INTERNAL "CMock library source directo…59 include( unit-test/cmock_build.cmake )72 # Add unit test and coverage configuration.74 # Use CTest utility for managing test runs. This has to be added BEFORE75 # defining test targets with add_test()85 add_subdirectory( unit-test )
56 * @brief Time at the beginning of each test. Note that this is not updated with102 * @brief Return flags to use for test.108 /* Called before each test method. */124 /* Called after each test method. */274 * @brief A stub for MQTT_ProcessLoop function to be used to test the event callback.359 * @brief Helper function to test API functions of the form363 * @param[in] FuncToTest Pointer to function to test.375 /* Test for NULL parameters. */ in invalidParamsTestFunc()417 * @brief Test that MQTTAgent_Init is able to update the context object correctly.445 * @brief Test that any NULL parameter causes MQTTAgent_Init to return MQTTBadParameter.[all …]
136 /* Called before each test method. */145 /* Called after each test method. */164 * @brief Test that MQTTAgentCommand_ProcessLoop() works as intended.183 * @brief Test MQTTAgentCommand_Publish() success case with QoS0.208 * @brief Test MQTTAgentCommand_Publish() success case with QoS1.234 * @brief Test MQTTAgentCommand_Publish() failure case with QoS0.259 * @brief Test MQTTAgentCommand_Publish() failure case with QoS1.285 * @brief Test that MQTTAgentCommand_Subscribe() works as intended.311 * @brief Test MQTTAgentCommand_Subscribe() failure case.337 * @brief Test that MQTTAgentCommand_Unsubscribe() works as intended.[all …]
33 # ================= Create the library under test here (edit) ==================35 # list the files you would like to test here39 # list the directories the module under test includes50 # list the directories your test needs to include
27 get_filename_component(test32 execute_process(COMMAND ${testname} OUTPUT_FILE ${CMAKE_BINARY_DIR}/${test}_out.txt)34 file(READ ${CMAKE_BINARY_DIR}/${test}_out.txt CONTENTS)
