Code

C++11 auto type specifier#2343

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-autotautschnig/cbmc:c++-autoCopy head branch name to clipboard

Jun 12, 2018

Commits

Commits on Jun 12, 2018

• Revert "parse C++11 auto declarations"

  Show description for 830c1d8
  tautschnig

  committed
  830c1d8

  Copy full SHA for 830c1d8

• Tests for proper pre-C++11 handling of "auto"

  tautschnig

  committed
  24ba2a0

  Copy full SHA for 24ba2a0

• C++11 auto type specifier

  tautschnig

  committed
  af83568

  Copy full SHA for af83568