cbmc 6.2.0

[db-ci-cprover]

Created with brew bump-formula-pr.

[tautschnig]

Could the failing job please be re-run? The error message doesn't really make sense as that file is there, assuming the checkout was actually complete. (We have seen the same spurious failure in a PR against CBMC earlier today, and re-running the job fixed the problem.)

[carlocab]

Restarted.

[carlocab]

  CMake Error at jbmc/unit/CMakeLists.txt:13 (add_executable):
    Cannot find source file:
  
      /tmp/unit/unit_tests.cpp
  
    Tried extensions .c .C .c++ .cc .cpp .cxx .cu .mpp .m .M .mm .ixx .cppm
    .ccm .cxxm .c++m .h .hh .h++ .hm .hpp .hxx .in .txx .f .F .for .f77 .f90
    .f95 .f03 .hip .ispc
  
  
  CMake Error at jbmc/unit/CMakeLists.txt:13 (add_executable):
    No SOURCES given to target: java-unit

Same error after re-run.

[tautschnig]

Investigating in diffblue/cbmc#8435. Will likely need to re-release.

[github-actions]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

[chenrui333]

#190643