Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
test
regression
Makefile
Find file
Blame
History
Permalink
Remove regression/interop1 test
· b3a52cf1
Xavier Leroy
authored
Jan 18, 2021
Now subsumed by the tests in abi/
b3a52cf1