Closed johnrhen closed 2 years ago
Fix all unit testing and CBMC to use a custom config that enables logging and tests using printf.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Fix all unit testing and CBMC to use a custom config that enables logging and tests using printf.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.