on dcbe2fc help sign in
elk/tests/good
2 folders, 2 files
../ Soundness/Update tests to cover the bugs that got reported leading up to 0.9 Unify/Update tests to cover the bugs that got reported leading up to 0.9 AliasSubstitution.elmUpdate tests to cover the bugs that got reported leading up to 0.9 NoExpressions.elmAdd test case for programs with no expressions