[gcc 13] include cstdint for *int*_t

[jirislaby]

Otherwise we see errors like this with gcc13:

src/solvers/prop/prop.h:115:39: error: 'uint32_t' has not been declared

[tautschnig]

@jirislaby Please adjust the order of includes as per https://github.com/diffblue/cbmc/actions/runs/4488836952/jobs/7894266633?pr=7609 (we have clang-format configured to enforce a certain order of includes). Thank you!

[codecov]

Codecov Report

Patch and project coverage have no change.

Comparison is base (42c350e) 78.50% compared to head (58717f0) 78.51%.

❗ Current head 58717f0 differs from pull request most recent head d5c265b. Consider uploading reports for the commit d5c265b to get more accurate results

Additional details and impacted files

@@           Coverage Diff            @@
##           develop    #7609   +/-   ##
========================================
  Coverage    78.50%   78.51%           
========================================
  Files         1670     1671    +1     
  Lines       191799   191845   +46     
========================================
+ Hits        150571   150618   +47     
+ Misses       41228    41227    -1     

Impacted Files	Coverage Δ
src/goto-programs/name_mangler.cpp	100.00% <ø> (ø)
src/goto-programs/osx_fat_reader.h	40.00% <ø> (ø)
src/solvers/prop/prop.h	83.78% <ø> (ø)
src/solvers/smt2/smt2_conv.cpp	67.26% <ø> (ø)
src/util/ieee_float.cpp	88.38% <ø> (ø)
src/util/unicode.cpp	82.96% <ø> (ø)

... and 12 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.