Created
October 10, 2015 19:29
-
-
Save msoos/569bc54663055fc2f9da to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| valgrind -q --leak-check=full --error-exitcode=9 ../../build/cryptominisat4 --zero-exit-status --reconf 9 --reconfat 1 --burst 0 --restart luby --gluehist 36 --updateglueonprop 1 --updateglueonanalysis 0 --otfhyper 0 --clearstat 1 --cacheformoreminim 1 --stampformoreminim 1 --maxredratio 17 --dompickf 18 --alwaysmoremin 1 --rewardotfsubsume 51 --bothprop 1 --probemaxm 1000 --cachesize 68 --calcreach 1 --cachecutoff 1269 --elimstrgy calculate --elimcplxupd 0 --occredmax 76 --noextbinsubs 0 --extscc 1 --distill 0 --sortwatched 1 --recur 1 --compsfrom 0 --compsvar 298891 --compslimit 2925 --implicitmanip 0 --occsimp 0 --occirredmaxmb 8 --occredmaxmb 6 --skipresol 1 --implsubsto 0 --sync 6000 -m 0.508328742011 --verb 0 --threads 1 --preproc 1 fuzzTest_1.cnf fuzzTest_1.cnf-simplified.cnf --savedstate fuzzTest_1.cnf-simplified.cnf-savedstate.dat | |
| Error line while executing: ==11981== 32 bytes in 1 blocks are definitely lost in loss record 118 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x417D06: ak_program_options::command_line_parser(unsigned int, char**) (parsers.cpp:99) | |
| Error line while executing: ==11981== by 0x40CFED: Main::check_options_correctness() (main.cpp:776) | |
| Error line while executing: ==11981== by 0x40EDD4: Main::parseCommandLine() (main.cpp:1142) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 32 bytes in 1 blocks are definitely lost in loss record 119 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x40CFF7: run (command_line_parser.h:63) | |
| Error line while executing: ==11981== by 0x40CFF7: Main::check_options_correctness() (main.cpp:776) | |
| Error line while executing: ==11981== by 0x40EDD4: Main::parseCommandLine() (main.cpp:1142) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 49 (8 direct, 41 indirect) bytes in 1 blocks are definitely lost in loss record 477 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x417AB9: ak_program_options::basic_parsed_options::short_options() const (parsers.cpp:63) | |
| Error line while executing: ==11981== by 0x41A85E: ak_program_options::store(ak_program_options::basic_parsed_options const*, ak_program_options::variables_map&) (variables_map.cpp:53) | |
| Error line while executing: ==11981== by 0x40D019: Main::check_options_correctness() (main.cpp:776) | |
| Error line while executing: ==11981== by 0x40EDD4: Main::parseCommandLine() (main.cpp:1142) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 136 (104 direct, 32 indirect) bytes in 1 blocks are definitely lost in loss record 674 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A63E: Main::add_supported_options() (main.cpp:750) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 136 (104 direct, 32 indirect) bytes in 1 blocks are definitely lost in loss record 675 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A698: Main::add_supported_options() (main.cpp:756) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 144 (104 direct, 40 indirect) bytes in 1 blocks are definitely lost in loss record 680 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A607: Main::add_supported_options() (main.cpp:746) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 144 (104 direct, 40 indirect) bytes in 1 blocks are definitely lost in loss record 681 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A617: Main::add_supported_options() (main.cpp:747) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 144 (104 direct, 40 indirect) bytes in 1 blocks are definitely lost in loss record 682 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A6A3: Main::add_supported_options() (main.cpp:757) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 152 (104 direct, 48 indirect) bytes in 1 blocks are definitely lost in loss record 683 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A624: Main::add_supported_options() (main.cpp:748) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 152 (104 direct, 48 indirect) bytes in 1 blocks are definitely lost in loss record 684 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A678: Main::add_supported_options() (main.cpp:754) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 153 (40 direct, 113 indirect) bytes in 1 blocks are definitely lost in loss record 685 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414D5C: ak_program_options::options_description_easy_init::operator()(char const*, char const*) (options_description.cpp:390) | |
| Error line while executing: ==11981== by 0x40A44A: Main::add_supported_options() (main.cpp:698) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 159 (40 direct, 119 indirect) bytes in 1 blocks are definitely lost in loss record 686 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x40892D: Main::add_supported_options() (main.cpp:500) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 160 (104 direct, 56 indirect) bytes in 1 blocks are definitely lost in loss record 687 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A5F7: Main::add_supported_options() (main.cpp:745) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 160 (104 direct, 56 indirect) bytes in 1 blocks are definitely lost in loss record 688 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A631: Main::add_supported_options() (main.cpp:749) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 160 (104 direct, 56 indirect) bytes in 1 blocks are definitely lost in loss record 689 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A65B: Main::add_supported_options() (main.cpp:752) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 160 (104 direct, 56 indirect) bytes in 1 blocks are definitely lost in loss record 690 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A668: Main::add_supported_options() (main.cpp:753) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 164 (40 direct, 124 indirect) bytes in 1 blocks are definitely lost in loss record 692 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414D5C: ak_program_options::options_description_easy_init::operator()(char const*, char const*) (options_description.cpp:390) | |
| Error line while executing: ==11981== by 0x40A41E: Main::add_supported_options() (main.cpp:693) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 176 (104 direct, 72 indirect) bytes in 1 blocks are definitely lost in loss record 695 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A6AE: Main::add_supported_options() (main.cpp:761) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 184 (40 direct, 144 indirect) bytes in 1 blocks are definitely lost in loss record 697 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x4097EC: Main::add_supported_options() (main.cpp:612) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 185 (40 direct, 145 indirect) bytes in 1 blocks are definitely lost in loss record 698 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x40A492: Main::add_supported_options() (main.cpp:706) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 186 (40 direct, 146 indirect) bytes in 1 blocks are definitely lost in loss record 699 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x4097BA: Main::add_supported_options() (main.cpp:608) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 188 (40 direct, 148 indirect) bytes in 1 blocks are definitely lost in loss record 700 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x40A4AB: Main::add_supported_options() (main.cpp:709) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 200 (104 direct, 96 indirect) bytes in 1 blocks are definitely lost in loss record 701 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A5EA: Main::add_supported_options() (main.cpp:741) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 200 (104 direct, 96 indirect) bytes in 1 blocks are definitely lost in loss record 702 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A64E: Main::add_supported_options() (main.cpp:751) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 200 (104 direct, 96 indirect) bytes in 1 blocks are definitely lost in loss record 703 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A6B9: Main::add_supported_options() (main.cpp:766) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 200 (104 direct, 96 indirect) bytes in 1 blocks are definitely lost in loss record 704 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A6CA: Main::add_supported_options() (main.cpp:770) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 210 (40 direct, 170 indirect) bytes in 1 blocks are definitely lost in loss record 705 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x40895F: Main::add_supported_options() (main.cpp:504) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 211 (40 direct, 171 indirect) bytes in 1 blocks are definitely lost in loss record 706 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x409828: Main::add_supported_options() (main.cpp:617) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 214 (40 direct, 174 indirect) bytes in 1 blocks are definitely lost in loss record 707 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x4097D3: Main::add_supported_options() (main.cpp:610) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 215 (40 direct, 175 indirect) bytes in 1 blocks are definitely lost in loss record 708 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414D5C: ak_program_options::options_description_easy_init::operator()(char const*, char const*) (options_description.cpp:390) | |
| Error line while executing: ==11981== by 0x40A434: Main::add_supported_options() (main.cpp:696) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 216 (40 direct, 176 indirect) bytes in 1 blocks are definitely lost in loss record 709 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414D5C: ak_program_options::options_description_easy_init::operator()(char const*, char const*) (options_description.cpp:390) | |
| Error line while executing: ==11981== by 0x40A479: Main::add_supported_options() (main.cpp:704) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 217 (40 direct, 177 indirect) bytes in 1 blocks are definitely lost in loss record 710 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x40979C: Main::add_supported_options() (main.cpp:606) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 223 (40 direct, 183 indirect) bytes in 1 blocks are definitely lost in loss record 711 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x408946: Main::add_supported_options() (main.cpp:502) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 223 (40 direct, 183 indirect) bytes in 1 blocks are definitely lost in loss record 712 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x408978: Main::add_supported_options() (main.cpp:510) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 250 (40 direct, 210 indirect) bytes in 1 blocks are definitely lost in loss record 716 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x409783: Main::add_supported_options() (main.cpp:601) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 257 (40 direct, 217 indirect) bytes in 1 blocks are definitely lost in loss record 717 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x40980A: Main::add_supported_options() (main.cpp:614) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 260 (40 direct, 220 indirect) bytes in 1 blocks are definitely lost in loss record 718 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x414C71: ak_program_options::options_description_easy_init::operator()(char const*, ak_program_options::value_semantic const*, char const*) (options_description.cpp:412) | |
| Error line while executing: ==11981== by 0x40A463: Main::add_supported_options() (main.cpp:701) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 336 (104 direct, 232 indirect) bytes in 1 blocks are definitely lost in loss record 719 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A688: Main::add_supported_options() (main.cpp:755) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 839 (104 direct, 735 indirect) bytes in 1 blocks are definitely lost in loss record 720 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A593: Main::add_supported_options() (main.cpp:730) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 974 (104 direct, 870 indirect) bytes in 1 blocks are definitely lost in loss record 721 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A512: Main::add_supported_options() (main.cpp:721) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 992 (104 direct, 888 indirect) bytes in 1 blocks are definitely lost in loss record 722 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A502: Main::add_supported_options() (main.cpp:720) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,013 (104 direct, 909 indirect) bytes in 1 blocks are definitely lost in loss record 723 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A5A6: Main::add_supported_options() (main.cpp:731) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,071 (104 direct, 967 indirect) bytes in 1 blocks are definitely lost in loss record 724 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A539: Main::add_supported_options() (main.cpp:724) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,303 (104 direct, 1,199 indirect) bytes in 1 blocks are definitely lost in loss record 725 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A573: Main::add_supported_options() (main.cpp:728) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,334 (104 direct, 1,230 indirect) bytes in 1 blocks are definitely lost in loss record 726 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A563: Main::add_supported_options() (main.cpp:727) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,353 (104 direct, 1,249 indirect) bytes in 1 blocks are definitely lost in loss record 727 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A556: Main::add_supported_options() (main.cpp:726) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,397 (104 direct, 1,293 indirect) bytes in 1 blocks are definitely lost in loss record 728 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A51F: Main::add_supported_options() (main.cpp:722) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,600 (104 direct, 1,496 indirect) bytes in 1 blocks are definitely lost in loss record 729 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A4F2: Main::add_supported_options() (main.cpp:719) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,700 (104 direct, 1,596 indirect) bytes in 1 blocks are definitely lost in loss record 730 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A52C: Main::add_supported_options() (main.cpp:723) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 1,739 (104 direct, 1,635 indirect) bytes in 1 blocks are definitely lost in loss record 731 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A5B9: Main::add_supported_options() (main.cpp:735) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 2,312 (104 direct, 2,208 indirect) bytes in 1 blocks are definitely lost in loss record 732 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A4E5: Main::add_supported_options() (main.cpp:715) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 2,381 (104 direct, 2,277 indirect) bytes in 1 blocks are definitely lost in loss record 733 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A5D9: Main::add_supported_options() (main.cpp:738) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 2,587 (104 direct, 2,483 indirect) bytes in 1 blocks are definitely lost in loss record 734 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A5CC: Main::add_supported_options() (main.cpp:736) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 2,591 (104 direct, 2,487 indirect) bytes in 1 blocks are definitely lost in loss record 735 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A549: Main::add_supported_options() (main.cpp:725) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 4,192 bytes in 1 blocks are definitely lost in loss record 736 of 737 | |
| Error line while executing: ==11981== at 0x4C298A0: operator new[](unsigned long) (vg_replace_malloc.c:389) | |
| Error line while executing: ==11981== by 0x417BE3: ak_program_options::basic_parsed_options::long_options() const (parsers.cpp:71) | |
| Error line while executing: ==11981== by 0x41A870: ak_program_options::store(ak_program_options::basic_parsed_options const*, ak_program_options::variables_map&) (variables_map.cpp:54) | |
| Error line while executing: ==11981== by 0x40D019: Main::check_options_correctness() (main.cpp:776) | |
| Error line while executing: ==11981== by 0x40EDD4: Main::parseCommandLine() (main.cpp:1142) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| Error line while executing: ==11981== 6,474 (104 direct, 6,370 indirect) bytes in 1 blocks are definitely lost in loss record 737 of 737 | |
| Error line while executing: ==11981== at 0x4C29180: operator new(unsigned long) (vg_replace_malloc.c:324) | |
| Error line while executing: ==11981== by 0x4145BD: ak_program_options::options_description::add(ak_program_options::options_description const&) (options_description.cpp:255) | |
| Error line while executing: ==11981== by 0x40A583: Main::add_supported_options() (main.cpp:729) | |
| Error line while executing: ==11981== by 0x40EDCC: Main::parseCommandLine() (main.cpp:1141) | |
| Error line while executing: ==11981== by 0x404571: main (main.cpp:1355) | |
| Error line while executing: ==11981== | |
| soos@masoos:~/development/sat_solvers/cryptominisat/scripts/fuzz$ git diff |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment