alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

randomltl: fix initialization of the simplifier, caught by PVS-Studio

Browse source 
For #192.

* spot/tl/randomltl.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2016-10-28 23:05:35 +02:00
parent c31ba658bf
commit 288f6ead9f
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/tl/randomltl.cc
View file

@ -406,13 +406,14 @@ namespace spot
char* opt_pL, char* opt_pL,
char* opt_pS, char* opt_pS,
char* opt_pB) char* opt_pB)
: opt_simpl_level_(opts.get("simplification_level", 3)),
simpl_(tl_simplifier_options{opt_simpl_level_})
{ {
aprops_ = aprops; aprops_ = aprops;
output_ = opts.get("output", OUTPUTLTL); output_ = opts.get("output", OUTPUTLTL);
opt_seed_ = opts.get("seed", 0); opt_seed_ = opts.get("seed", 0);
opt_tree_size_min_ = opts.get("tree_size_min", 15); opt_tree_size_min_ = opts.get("tree_size_min", 15);
opt_tree_size_max_ = opts.get("tree_size_max", 15); opt_tree_size_max_ = opts.get("tree_size_max", 15);
opt_simpl_level_ = opts.get("simplification_level", 3);
opt_unique_ = opts.get("unique", 1); opt_unique_ = opts.get("unique", 1);
opt_wf_ = opts.get("wf", 0); opt_wf_ = opts.get("wf", 0);
@ -470,8 +471,6 @@ namespace spot
+ std::string(tok_pB)); + std::string(tok_pB));
spot::srand(opt_seed_); spot::srand(opt_seed_);
tl_simplifier_options simpl_opts(opt_simpl_level_);
tl_simplifier simpl_(simpl_opts);
} }
randltlgenerator::randltlgenerator(int aprops_n, randltlgenerator::randltlgenerator(int aprops_n,