Code

Fix typo in trace validation script#5315

Code

Merged

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thk123:adjustments-to-validatorthk123/cbmc:adjustments-to-validatorCopy head branch name to clipboard

Jun 11, 2020

Commits

Commits on May 6, 2020

• Correct typo in comment

  

  Thomas Kiley

  committed
  5b3640a

  Copy full SHA for 5b3640a