Add -a/--all flag to show all SMT verification conditions#243

CatarinaGamboa wants to merge 2 commits into

mainliquid-java/liquidjava:mainfrom

worktree-issue-240liquid-java/liquidjava:worktree-issue-240Copy head branch name to clipboard