Code

Do not escape ' in java strings#5038

Code

Merged

jeannielynnmoulton merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

jeannielynnmoulton:jeannie/NoEscapejeannielynnmoulton/cbmc:jeannie/NoEscapeCopy head branch name to clipboard

Aug 20, 2019

Commits

Commits on Aug 20, 2019

• Do not escape ' character in java strings.

  Show description for c1a00b2
  jeannielynnmoulton

  committed
  c1a00b2

  Copy full SHA for c1a00b2

• Remove utf16_native_endian_to_java(std::wstring)

  Show description for 9a66e75
  jeannielynnmoulton

  committed
  9a66e75

  Copy full SHA for 9a66e75

• Tests for utf16_native_endian_to_java_string

  Show description for 93004ed
  jeannielynnmoulton

  committed
  93004ed

  Copy full SHA for 93004ed