Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
multiple_labels_crash_test
hash.c
Find file
Blame
History
Permalink
Yarpgen C file to test multiple labels and corresponding code
· 45ce514e
Léo Gourdin
authored
Nov 01, 2020
In this branch I remove the multiple label limitation to pass some tests but the proof is admitted !
45ce514e