Learn more about cloning repositories
You have read-only access
give Instruction (and CFGValue) a type. Make the verifier enforce sanity and correctness for various invariants on these types. Swift SVN r2937
