Code

Introducing GDB tests on CI#859

Code

Closed

Robertorosmaninho wants to merge 3 commits intodevelopruntimeverification/llvm-backend:developfrom debugger-testsruntimeverification/llvm-backend:debugger-testsCopy head branch name to clipboard

+2,257

Commits

Commits on May 13, 2024

• Addifing first GDB tests

  Robertorosmaninho

  committed
  d58fd1c

Commits on Aug 2, 2024

• Merge branch 'develop' into debugger-tests

  Robertorosmaninho

  authored
  3ccc7c1

Commits on Aug 5, 2024

• Renaming input and output

  Show description for 02d328c
  Robertorosmaninho

  committed
  02d328c