Skip to content
GitLab
Explore
Sign in
Stefan Gränitz
Frama Clang
Repository
frama-clang
tests
bugs
oracle
term.res.oracle
Find file
Blame
History
Permalink
WP displays trivial terminates proofs
· 02791eaa
Allan Blanchard
authored
Jun 25, 2021
02791eaa