Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltltest
randltl.cc
Find file
Blame
History
Permalink
Fix a memory leak in randltl.
· 058bb83c
Alexandre Duret-Lutz
authored
Sep 07, 2009
* src/ltltest/randltl.cc: Free the atomic properties from AP before exit.
058bb83c