* fix ip timers unit tests
* fix FreeRTOS_IP_Utils_DiffConfig_utest tests
* fixed FreeRTOS_IP_Utils_utest
* fix dns cache unit test
* wip arp utests
* fixing arp unit tests
* fix dhcp errors
* clearing structs before usage
* fix dns parser seg fault
* fix dns parser seg fault in unit test
* fix arp uunit tests
* fix arp unit tests
* fixing dns unit test and updating the CBMC proofs
* fixing udp unit tests
* fixing TCP IP unit tests
* fixing TCP IP diffconfig unit tests
* adding additional header file for ARP for declaring missing stub headers
* minor fix
* Uncrustify: triggered by comment
* fixing comments
---------
Co-authored-by: GitHub Action <action@github.com>
* Change in UDP process flow to drop packet in case of invalid payload length for IPv4
* Uncrustify: triggered by comment.
* Update FreeRTOS_IP.h
---------
Co-authored-by: GitHub Action <action@github.com>
* Fix seg fault
* Remove ipconfigUSE_IPV6
* Add change for FreeRTOS_IP_Utils unit test case
* Fix comments
* Uncrustify: triggered by comment.
* Fixed build issue with IP utils unit test build.
* Removed calculation of checksum being done twice for debug printf
---------
Co-authored-by: Monika Singh <moninom@amazon.com>
Co-authored-by: Monika Singh <108652024+moninom1@users.noreply.github.com>
Co-authored-by: GitHub Action <action@github.com>
* WIP
* Fixed ARP, with 2 test cases pending which requires src changes which are not priority. Fixed TCP and UDP test cases.
* return value of xProcessReceivedUDPPacket initialized to pdFAIL
* fixing UDP test cases
* fixed arp unit tests
* Fix tcp transmission unit test cases.
* Fixed tcp ip failing unit tests
* Fixed tcp reception failing unit tests
* Fixed tcp state handling failing unit tests.
* Fixed ARP diffconfig unit tests.
* WIP
* Fixed ARP, with 2 test cases pending which requires src changes which are not priority. Fixed TCP and UDP test cases.
* return value of xProcessReceivedUDPPacket initialized to pdFAIL
* WIP fix tests for failing ARP unit tests
* WIP fix failing test cases for ARP unit tests
* WIP fix failing test cases for the ARP unit test cases
* Fixed failing test cases for the FreeRTOS_ARP_DataLenLessThanMinPacket_utest unit tests
* Fixed failing test cases for ARP unit tests
This commit brings in the refactoring and restructuring changes
from IntegrationTesting1 branch to the main branch.
It also includes additional unit tests for 100% coverage.
The rationale behind not creating a PR is that the conflicts were too
huge to be resolved correctly. Thus, a force push to the main branch is
being done.
