Code

Ignore warnings in regression tests#234

Code

Closed

xbauch wants to merge 1 commit intodiffblue:masterdiffblue/gnat2goto:masterfrom

xbauch:feature/ignore-warnings-regressionxbauch/gnat2goto:feature/ignore-warnings-regressionCopy head branch name to clipboard

Commits

Commits on May 17, 2019

• Ignore warnings in regression tests

  Show description for e0b3353
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  e0b3353

  Copy full SHA for e0b3353