Skip to content
GitLab
Explore
Sign in
Register
PLMZ
iTypes
Repository
itypes
inca-translation
solutions
SumTypes_Checker
models
test.ok_anno_in_let.mps
Find file
Blame
History
Permalink
automated test to check whether models are well or illtyped without dynamic changes to tests
· a232b62f
Pacak, André
authored
Aug 21, 2019
a232b62f