Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
test
aarch64
gen_tests
asmb_aarch64_gen_test.sh
Find file
Blame
History
Permalink
Fixing a generation bug on shrx in Asmblockgen
· 3f691c8c
Léo Gourdin
authored
Nov 26, 2020
I forgot this one and the gen test script reminds me
3f691c8c