Adding an annotation to set prover arguments per method#784

marcoeilers merged 3 commits into

masterviperproject/silicon:masterfrom

meilers_proverArgs_annotationviperproject/silicon:meilers_proverArgs_annotationCopy head branch name to clipboard