Code

Use cmake for cleaning in cmake job#8547

Code

Draft

peterschrammel wants to merge 5 commits intodiffblue:developdiffblue/cbmc:developfrom peterschrammel:ps/cmake-cleanpeterschrammel/cbmc:ps/cmake-cleanCopy head branch name to clipboard

+179-18

Commits

Commits on Dec 28, 2024

• Use Maven to compile all regression test sources upfront (CMake)

  Show description for db2f7b5
  peterschrammel

  committed
  db2f7b5

• Use Maven to compile all regression test sources upfront (Make)

  Show description for d878b5d
  peterschrammel

  committed
  d878b5d

• Compile jbmc/ArithmeticException1 test sources

  Show description for e6e8fbf
  peterschrammel

  committed
  e6e8fbf

• Compile jbmc/classpath-jar-load-whole-jar test sources

  Show description for 3de45e9
  peterschrammel

  committed
  3de45e9

• Use cmake for cleaning in cmake job

  Show description for fc8cfc2
  peterschrammel

  committed
  fc8cfc2