Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
tl
randomltl.cc
Find file
Blame
History
Permalink
randomltl: fix initialization of the simplifier, caught by PVS-Studio
· 288f6ead
Alexandre Duret-Lutz
authored
Oct 28, 2016
For
#192
. * spot/tl/randomltl.cc: Here.
288f6ead