Document proposed best practice for unused parameters#2568

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-parameter-namestautschnig/cbmc:vs-parameter-namesCopy head branch name to clipboard