This repository contains a proof-of-concept implementation that uses symbolic execution and SMT solving to detect type errors in programs with complex type hierarchies, generics, and union types.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results