3 // Copyright (C) 2005-2015 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the terms
7 // of the GNU General Public License as published by the Free Software
8 // Foundation; either version 3, or (at your option) any later
11 // This library is distributed in the hope that it will be useful, but
12 // WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 // General Public License for more details.
16 // You should have received a copy of the GNU General Public License
17 // along with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
21 // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
23 // Permission to use, copy, modify, sell, and distribute this software
24 // is hereby granted without fee, provided that the above copyright
25 // notice appears in all copies, and that both that copyright notice
26 // and this permission notice appear in supporting documentation. None
27 // of the above authors, nor IBM Haifa Research Laboratories, make any
28 // representation about the suitability of this software for any
29 // purpose. It is provided "as is" without express or implied
33 * @file rand_regression_test.hpp
34 * Contains a random-operation test.
37 #ifndef PB_DS_PQ_RAND_REGRESSION_TEST_HPP
38 #define PB_DS_PQ_RAND_REGRESSION_TEST_HPP
42 #include <io/verified_cmd_line_input.hpp>
43 #include <regression/common_type.hpp>
44 #include <regression/rand/priority_queue/container_rand_regression_test.h>
52 #ifndef PB_DS_REGRESSION
53 #error "Must define PB_DS_REGRESSION"
59 rand_reg_test(size_t seed
, size_t n
, size_t m
, double tp
, double ip
,
60 double dp
, double ep
, double cp
, double mp
, bool d
)
61 : m_sd(seed
), m_n(n
), m_m(m
), m_tp(tp
), m_ip(ip
), m_dp(dp
), m_ep(ep
),
62 m_cp(cp
), m_mp(mp
), m_disp(d
)
65 xml_test_rand_regression_formatter(seed
, n
, m
, tp
, ip
, ep
, cp
, mp
);
68 template<typename Cntnr
>
72 unsigned long ul
= static_cast<unsigned long>(m_sd
);
73 container_rand_regression_test
<Cntnr
> t(ul
, m_n
, m_n
, m_tp
, m_ip
, m_dp
,
74 m_ep
, m_cp
, m_mp
, m_disp
);
92 usage(const std::string
& r_name
);
95 verify_params(size_t&, size_t&, size_t&,
96 double&, double&, double&, double&, double&, double&, bool&);
101 rand_regression_test(size_t iter
, size_t keys
, const std::string name
, TL tl
)
106 size_t sd
= twister_rand_gen::get_time_determined_seed();
113 bool disp
= true; // show progress
117 detail::verify_params(sd
, n
, m
, tp
, ip
, dp
, ep
, cp
, mp
, disp
);
119 catch(__gnu_pbds::test::illegal_input_error
&)
131 detail::rand_reg_test
tst(sd
, n
, m
, tp
, ip
, dp
, ep
, cp
, mp
, disp
);
132 __gnu_cxx::typelist::apply(tst
, tl
);
136 std::cerr
<< "Test failed with seed " << sd
<< std::endl
;
146 usage(const std::string
& name
)
149 cerr
<< "usage: " << name
<< " <sd> <n> <m> <tp> <ip> <dp> <ep> <cp> <mp> ['t' | 'f']" <<
152 cerr
<< "This test performs basic regression tests on various priority queues."
153 "For each container, it performs a sequence of operations. At each iteration, it does "
154 "the following: " << endl
;
155 cerr
<< "* Performs an operation on the container " << endl
;
156 cerr
<< "* Performs the same operation on an cntnr object" << endl
;
157 cerr
<< "* Possibly compares the container to the cntnr object" << endl
;
158 cerr
<< "* Checks that exceptions (thrown by an allocator) "
159 "do not violate exception guarantees";
161 cerr
<< endl
<< endl
;
163 cerr
<< "sd = seed for random-number generator; 0 = "
164 "time determined value" << endl
;
165 cerr
<< "n = number of iterations" << endl
;
166 cerr
<< "m = number of distinct values" << endl
;
167 cerr
<< "tp = probability that an exception will be actively thrown" << endl
;
168 cerr
<< "ip = probability that an operation will be insert" << endl
;
169 cerr
<< "dp = probability that an operation will be modify" << endl
;
170 cerr
<< "ep = probability that an operation will be erase" << endl
;
171 cerr
<< "cp = probability that an operation will be clear" << endl
;
172 cerr
<< "(therefore, 1 - (ip + dp + ep + cp) = probability of any other operation)" << endl
;
173 cerr
<< "mp = probability that the container will be compared to the cntnr object" << endl
;
174 cerr
<< "'t' or 'f' determine whether progress will be displayed" << endl
;
178 verify_params(size_t& r_seed
, size_t& r_n
,
179 size_t& r_m
, double& r_tp
, double& r_ip
, double& r_dp
,
180 double& r_ep
, double& r_cp
, double& r_mp
, bool& r_d
)
188 verify_prob(r_ip
+ r_dp
+ r_ep
+ r_cp
);
190 } // namespace detail
192 } // namespace __gnu_pbds