add support for Visual Studio style inline assembler#2714

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

msvc-asmdiffblue/cbmc:msvc-asmCopy head branch name to clipboard