Replace test_branch option with branch#13

rikosellic merged 1 commit intoasterinas:mainasterinas/rust-deductive-verifier:mainfrom

rikosellic:branch-optionrikosellic/rust-deductive-verifier:branch-optionCopy head branch name to clipboard