* fixing error message printed during test build and disabling coroutines flags used in the config files used for test build
* removing trailing whitespace
* removing configUSE_CO_ROUTINES and configMAX_CO_ROUTINE_PRIORITIES macros from the config files
* Uncrustify: triggered by comment
---------
Co-authored-by: GitHub Action <action@github.com>
* fixed cbmc proof for vSocketBind
* Use CBMC XML output to enable VSCode debugger (#673)
Prior to this commit, CBMC would emit logging information in plain text
format, which does not contain information required for the CBMC VSCode
debugger. This commit makes CBMC use XML instead of plain text.
Co-authored-by: Mark Tuttle <tuttle@acm.org>
* fix cbmc proof for vSocketWakeUpUser
* add check with multiple endpoints
* NULL assume to assignment
* adding non determinitic number of end points
* adding commit review suggestions
* Uncrustify: triggered by comment.
---------
Co-authored-by: Kareem Khazem <karkhaz@amazon.com>
Co-authored-by: Mark Tuttle <tuttle@acm.org>
Co-authored-by: GitHub Action <action@github.com>
* Update source location for coverity
* Add coverage checker
* Add build check with default configuration
* Fix build combination and DNS error
* uncrustified and fixed cmakelists
* This commit updates version number in all files to Development-Branch
* Update version number macros
* This commit fixes a typo in version number macro
* Added a 'critical section' to prevent a race condition in stream buffers
* Uncrustify: triggered by comment.
* Fixed unit-tests by adding mocked functions
* Initial commit of file README.md
* Update README.md
* Fix the title of README file in coverity
* Addressed issue comments
* Update command
* Add details about remaining exception
* Move file to original location
* Remove use of sudo in commands
* Fix links; added coverity version note
* Update README.md
* Remove CMake installation instructions
* Update manifest/history and copyright year
* Update kernel version to 10.4.5
* Update remaining copyright year instances
* Update the version number macros
* Update license header titles
* Remove kernel license header and add TCP header
Co-authored-by: GitHub Action <action@github.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
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.
* Add the spell-check files
* Add lexicon.txt file after generating it.
* Update the allowed name list
* Added some more words to the lexicon
* final revision of additions
* Update ci.yml
* Update ci.yml
* Delete lexicon.txt
* Rename temp.txt to lexicon.txt
* Ignore the portable directory
* Update ci.yml
* Update ci.yml
* Update ci.yml
* Update find-unknown-comment-words
* Update ci.yml
* Make all letters lowercase
* Update the lexicon and fix some typos
* Add more details and then add lexicon
* remove spell directory from tools
* Remove duplicate instances and sort the words
* Update lexicon after Gary's comments (and test)
* Update the words list
* Correct word spelling
* Update lexicon.txt
Co-authored-by: Gary Wicker <14828980+gkwicker@users.noreply.github.com>
