fix(adapters): Select typed the option name when the option did not exist#331

AminChirazi merged 1 commit into

relanded/4-conjunctive-anchorsautomators-com/flowproof:relanded/4-conjunctive-anchorsfrom

relanded/5-select-missing-optionautomators-com/flowproof:relanded/5-select-missing-optionCopy head branch name to clipboard