Code

Make ui_message move constructible#3949

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:feature-ui_message_move_constructorhannes-steffenhagen-diffblue/cbmc:feature-ui_message_move_constructorCopy head branch name to clipboard

Jan 25, 2019

Commits

Commits on Jan 25, 2019

• Make ui_message move constructible

  Show description for 804bd90
  hannes-steffenhagen-diffblue

  committed
  804bd90

  Copy full SHA for 804bd90