Code

Simplify (T)(a?b:c) to a?(T)b:(T)c#5892

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:simplify-typecast-iftautschnig/cbmc:simplify-typecast-ifCopy head branch name to clipboard

Nov 5, 2022

Commits

Commits on Oct 27, 2022

• Simplify (T)(a?b:c) to a?(T)b:(T)c

  Show description for fac7964
  tautschnig

  committed
  fac7964

  Copy full SHA for fac7964