Code

conversion from utf8 to utf16#273

Code

Closed

romainbrenguier wants to merge 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

romainbrenguier:string-solver-utilromainbrenguier/cbmc:string-solver-utilCopy head branch name to clipboard

Commits

Commits on Oct 27, 2016

• conversion from utf8 to utf16

  

  Romain Brenguier

  committed
  20ee760

  Copy full SHA for 20ee760

• Using new version of the functions to convert utf8 to utf16 that make explicit the use of little and big endian

  

  Romain Brenguier

  committed
  2fe891d

  Copy full SHA for 2fe891d