chore: make CBMC stubs with zero parameters proper declarations

awslabs / aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

Apache License 2.0

262 stars 159 forks source link

Closed tautschnig closed 7 months ago

tautschnig commented 7 months ago

Description of changes:

C uses '(void)' to denote this, not an empty list of parameters. This will avoid spurious warnings about type conflicts against C headers.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.