mirror of
https://github.com/Jaxan/hybrid-ads.git
synced 2025-04-27 15:07:45 +02:00
Fixes compilation issue (clang is too nice to me)
This commit is contained in:
parent
0e2547be86
commit
15967b0581
3 changed files with 5 additions and 5 deletions
|
@ -21,7 +21,7 @@ static size_t clamp_to_size_t(double x, size_t min, size_t max) {
|
||||||
transfer_sequences create_transfer_sequences(transfer_options const & opt, const mealy & machine,
|
transfer_sequences create_transfer_sequences(transfer_options const & opt, const mealy & machine,
|
||||||
state s, uint_fast32_t random_seed) {
|
state s, uint_fast32_t random_seed) {
|
||||||
mt19937 generator(random_seed);
|
mt19937 generator(random_seed);
|
||||||
uniform_int_distribution<double> dist(opt.q_min, opt.q_max);
|
uniform_real_distribution<double> dist(opt.q_min, opt.q_max);
|
||||||
|
|
||||||
vector<bool> added(machine.graph_size, false);
|
vector<bool> added(machine.graph_size, false);
|
||||||
vector<word> words(machine.graph_size);
|
vector<word> words(machine.graph_size);
|
||||||
|
|
|
@ -19,7 +19,7 @@
|
||||||
using namespace std;
|
using namespace std;
|
||||||
|
|
||||||
static const char USAGE[] =
|
static const char USAGE[] =
|
||||||
R"(Generate a test suite
|
R"(Generate a test suite. Use '=' as filename for stdin.
|
||||||
|
|
||||||
Usage:
|
Usage:
|
||||||
main [options] <filename> (all|fixed|random) <max k> <rnd length>
|
main [options] <filename> (all|fixed|random) <max k> <rnd length>
|
||||||
|
@ -38,7 +38,7 @@ R"(Generate a test suite
|
||||||
using time_logger = silent_timer;
|
using time_logger = silent_timer;
|
||||||
|
|
||||||
int main(int argc, char *argv[]) try {
|
int main(int argc, char *argv[]) try {
|
||||||
const auto args = docopt::docopt(USAGE, {argv + 1, argv + argc}, true, "5 aug 11:00");
|
const auto args = docopt::docopt(USAGE, {argv + 1, argv + argc}, true, "25 Nov 11:50");
|
||||||
|
|
||||||
const string filename = args.at("<filename>").asString();
|
const string filename = args.at("<filename>").asString();
|
||||||
const bool use_stdio = filename == "=";
|
const bool use_stdio = filename == "=";
|
||||||
|
|
|
@ -94,8 +94,8 @@ int main(int argc, char * argv[]) {
|
||||||
const auto suffixes = suffixes_fut.get();
|
const auto suffixes = suffixes_fut.get();
|
||||||
for(state s = 0; s < suffixes.size(); ++s){
|
for(state s = 0; s < suffixes.size(); ++s){
|
||||||
clog << "suffixes for " << s << endl;
|
clog << "suffixes for " << s << endl;
|
||||||
for(auto s : suffixes[s].local_suffixes) {
|
for(auto s2 : suffixes[s].local_suffixes) {
|
||||||
for(auto x : s){
|
for(auto x : s2){
|
||||||
clog << x;
|
clog << x;
|
||||||
}
|
}
|
||||||
clog << endl;
|
clog << endl;
|
||||||
|
|
Loading…
Add table
Reference in a new issue