pyspec: add --reject-approximations CLI flag#1208

julesmt wants to merge 7 commits into

main2strata-org/Strata:main2from

julesmt/features/reject-approximationsstrata-org/Strata:julesmt/features/reject-approximationsCopy head branch name to clipboard