Learn more about cloning repositories
You have read-only access
Merge pull request #1476 from dduan/crasher2-0039 [typechecker] add a crasher
