Add witness output to goto checker [blocks: 3583]#3579

Merged

peterschrammel merged 1 commit intodiffblue:developfrom

peterschrammel:goto-checker-witness-output

Jan 13, 2019

Commits on Jan 13, 2019

Add witness output to goto-checker interfaces
peterschrammel
committed