wbtiger
/
foundationdb
mirror of https://github.com/apple/foundationdb.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
foundationdb/fdbrpc/ActorFuzz.actor.cpp

752 lines
24 KiB
C++
Raw Blame History

/*
* ActorFuzz.actor.cpp
*
* This source file is part of the FoundationDB open source project
*
* Copyright 2013-2018 Apple Inc. and the FoundationDB project authors
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
// THIS FILE WAS GENERATED BY actorFuzz.py; DO NOT MODIFY IT DIRECTLY
#include "fdbrpc/ActorFuzz.h"
#ifndef WIN32
ACTOR Future<int> actorFuzz0( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state std::vector<int> list928815;
list928815.push_back(1);
list928815.push_back(2);
list928815.push_back(3);
for( auto i : list928815 ) {
outputStream.send( 472952 );
return 424221;
}
return 136262;
}
ACTOR Future<int> actorFuzz1( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
int input = waitNext( inputStream );
outputStream.send( input + 895041 );
return 406985;
}
ACTOR Future<int> actorFuzz2( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
return 981337;
}
ACTOR Future<int> actorFuzz3( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
try {
outputStream.send( 169417 );
try {
outputStream.send( 910046 );
throw_operation_failed();
outputStream.send( 128775 );
try {
outputStream.send( 288265 );
state std::vector<int> list147355;
list147355.push_back(1);
list147355.push_back(2);
list147355.push_back(3);
for( auto i : list147355 ) {
outputStream.send( 884888 );
try {
outputStream.send( 523929 );
return 803295;
} catch (...) {
outputStream.send( 895092 );
try {
outputStream.send( 103860 );
return 189456;
} catch (...) {
outputStream.send( 636033 );
continue;
}
}
}
outputStream.send( 827981 );
} catch (...) {
outputStream.send( 530422 );
int input = waitNext( inputStream );
outputStream.send( input + 556758 );
outputStream.send( 289564 );
}
outputStream.send( 479534 );
} catch (...) {
outputStream.send( 901015 );
state int i276213; for(i276213 = 0; i276213 < 5; i276213++) {
outputStream.send( 238065 );
continue;
}
outputStream.send( 216530 );
}
outputStream.send( 721088 );
state int i183102; for(i183102 = 0; i183102 < 5; i183102++) {
outputStream.send( 154168 );
state int i424006; for(i424006 = 0; i424006 < 5; i424006++) {
outputStream.send( 509758 );
break;
}
outputStream.send( 331070 );
}
outputStream.send( 728291 );
} catch (...) {
outputStream.send( 276663 );
return 893442;
}
return 150168;
}
ACTOR Future<int> actorFuzz4( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
if ( (++ifstate&1) == 0 ) {
outputStream.send( 757514 );
int input = waitNext( inputStream );
outputStream.send( input + 991755 );
outputStream.send( 397194 );
}
return 924232;
}
ACTOR Future<int> actorFuzz5( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state int i442791; for(i442791 = 0; i442791 < 5; i442791++) {
outputStream.send( 793665 );
state int i122946; for(i122946 = 0; i122946 < 5; i122946++) {
outputStream.send( 473530 );
state int i880568; for(i880568 = 0; i880568 < 5; i880568++) {
outputStream.send( 728257 );
return 239736;
}
outputStream.send( 923761 );
}
outputStream.send( 713797 );
state std::vector<int> list811633;
list811633.push_back(1);
list811633.push_back(2);
list811633.push_back(3);
for( auto i : list811633 ) {
outputStream.send( 366087 );
int input = waitNext( inputStream );
outputStream.send( input + 538592 );
outputStream.send( 222552 );
}
outputStream.send( 974653 );
}
return 738267;
}
ACTOR Future<int> actorFuzz6( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state std::vector<int> list672004;
list672004.push_back(1);
list672004.push_back(2);
list672004.push_back(3);
for( auto i : list672004 ) {
outputStream.send( 228205 );
state int i213703; for(i213703 = 0; i213703 < 5; i213703++) {
outputStream.send( 686961 );
wait( error ); // throw operation_failed()
outputStream.send( 453057 );
}
outputStream.send( 318329 );
}
outputStream.send( 878109 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 947744 );
return 770841;
}
outputStream.send( 484904 );
throw operation_failed();
}
ACTOR Future<int> actorFuzz7( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state int i865202; for(i865202 = 0; i865202 < 5; i865202++) {
outputStream.send( 388211 );
continue;
}
return 215808;
}
ACTOR Future<int> actorFuzz8( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state std::vector<int> list872196;
list872196.push_back(1);
list872196.push_back(2);
list872196.push_back(3);
for( auto i : list872196 ) {
outputStream.send( 906334 );
continue;
}
return 190561;
}
ACTOR Future<int> actorFuzz9( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
if ( (++ifstate&1) == 0 ) {
outputStream.send( 862320 );
try {
outputStream.send( 467528 );
int input = waitNext( inputStream );
outputStream.send( input + 454869 );
outputStream.send( 170527 );
} catch (...) {
outputStream.send( 599433 );
int input = waitNext( inputStream );
outputStream.send( input + 849051 );
outputStream.send( 399140 );
}
outputStream.send( 775108 );
}
return 159221;
}
ACTOR Future<int> actorFuzz10( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state int i624986; for(i624986 = 0; i624986 < 5; i624986++) {
outputStream.send( 713197 );
break;
}
return 195782;
}
ACTOR Future<int> actorFuzz11( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state std::vector<int> list716397;
list716397.push_back(1);
list716397.push_back(2);
list716397.push_back(3);
for( auto i : list716397 ) {
outputStream.send( 715504 );
state std::vector<int> list893053;
list893053.push_back(1);
list893053.push_back(2);
list893053.push_back(3);
for( auto i : list893053 ) {
outputStream.send( 404836 );
break;
}
outputStream.send( 687853 );
}
return 416948;
}
ACTOR Future<int> actorFuzz12( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
return 955805;
}
ACTOR Future<int> actorFuzz13( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state int i543171; for(i543171 = 0; i543171 < 5; i543171++) {
outputStream.send( 619715 );
if ( (++ifstate&1) == 1 ) {
outputStream.send( 528509 );
try {
outputStream.send( 647852 );
continue;
} catch (...) {
outputStream.send( 707540 );
return 252364;
}
}
outputStream.send( 255314 );
}
return 391920;
}
ACTOR Future<int> actorFuzz14( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state int i341633; for(i341633 = 0; i341633 < 5; i341633++) {
outputStream.send( 422579 );
try {
outputStream.send( 665867 );
continue;
} catch (...) {
outputStream.send( 934161 );
throw_operation_failed();
outputStream.send( 966369 );
}
outputStream.send( 484274 );
return 323308;
}
return 798692;
}
ACTOR Future<int> actorFuzz15( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
if ( (++ifstate&1) == 1 ) {
outputStream.send( 463317 );
int input = waitNext( inputStream );
outputStream.send( input + 862528 );
outputStream.send( 144528 );
throw operation_failed();
}
return 348329;
}
ACTOR Future<int> actorFuzz16( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state std::vector<int> list315206;
list315206.push_back(1);
list315206.push_back(2);
list315206.push_back(3);
for( auto i : list315206 ) {
outputStream.send( 488500 );
int input = waitNext( inputStream );
outputStream.send( input + 435335 );
outputStream.send( 838746 );
}
return 241009;
}
ACTOR Future<int> actorFuzz17( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
return 499302;
}
ACTOR Future<int> actorFuzz18( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
throw operation_failed();
}
ACTOR Future<int> actorFuzz19( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
int input = waitNext( inputStream );
outputStream.send( input + 216963 );
outputStream.send( 928990 );
try {
outputStream.send( 833320 );
return 981835;
} catch (...) {
outputStream.send( 163601 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 566353 );
int input = waitNext( inputStream );
outputStream.send( input + 898598 );
outputStream.send( 489283 );
} else {
outputStream.send( 302679 );
state std::vector<int> list598178;
list598178.push_back(1);
list598178.push_back(2);
list598178.push_back(3);
for( auto i : list598178 ) {
outputStream.send( 161921 );
state std::vector<int> list144442;
list144442.push_back(1);
list144442.push_back(2);
list144442.push_back(3);
for( auto i : list144442 ) {
outputStream.send( 383319 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 510598 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 507597 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 165706 );
wait( error ); // throw operation_failed()
outputStream.send( 517934 );
} else {
outputStream.send( 310975 );
continue;
}
outputStream.send( 276549 );
} else {
outputStream.send( 760246 );
return 285921;
}
outputStream.send( 998271 );
state int i844483; for(i844483 = 0; i844483 < 5; i844483++) {
outputStream.send( 116027 );
try {
outputStream.send( 924660 );
return 318962;
} catch (...) {
outputStream.send( 344097 );
return 650093;
}
}
outputStream.send( 911361 );
} else {
outputStream.send( 132280 );
state int i765185; for(i765185 = 0; i765185 < 5; i765185++) {
outputStream.send( 304676 );
try {
outputStream.send( 213797 );
continue;
} catch (...) {
outputStream.send( 103092 );
break;
}
}
outputStream.send( 186853 );
throw operation_failed();
}
outputStream.send( 111835 );
}
outputStream.send( 556173 );
}
outputStream.send( 946155 );
}
outputStream.send( 933557 );
}
return 291132;
}
ACTOR Future<int> actorFuzz20( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
return 668336;
}
ACTOR Future<int> actorFuzz21( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
int input = waitNext( inputStream );
outputStream.send( input + 103331 );
return 404486;
}
ACTOR Future<int> actorFuzz22( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
try {
outputStream.send( 173342 );
if ( (++ifstate&1) == 1 ) {
outputStream.send( 133654 );
throw operation_failed();
}
outputStream.send( 390745 );
} catch (...) {
outputStream.send( 317492 );
try {
outputStream.send( 976956 );
if ( (++ifstate&1) == 1 ) {
outputStream.send( 488021 );
try {
outputStream.send( 379893 );
int input = waitNext( inputStream );
outputStream.send( input + 113044 );
outputStream.send( 514763 );
} catch (...) {
outputStream.send( 934231 );
try {
outputStream.send( 897734 );
if ( (++ifstate&1) == 1 ) {
outputStream.send( 217526 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 483115 );
state int i174159; for(i174159 = 0; i174159 < 5; i174159++) {
outputStream.send( 153107 );
return 282773;
}
outputStream.send( 980876 );
} else {
outputStream.send( 617607 );
state std::vector<int> list256809;
list256809.push_back(1);
list256809.push_back(2);
list256809.push_back(3);
for( auto i : list256809 ) {
outputStream.send( 939809 );
state std::vector<int> list645802;
list645802.push_back(1);
list645802.push_back(2);
list645802.push_back(3);
for( auto i : list645802 ) {
outputStream.send( 958333 );
return 863292;
}
outputStream.send( 556033 );
}
outputStream.send( 374285 );
}
outputStream.send( 804200 );
}
outputStream.send( 353758 );
} catch (...) {
outputStream.send( 289122 );
if ( (++ifstate&1) == 1 ) {
outputStream.send( 807371 );
state int i990430; for(i990430 = 0; i990430 < 5; i990430++) {
outputStream.send( 415008 );
try {
outputStream.send( 693494 );
try {
outputStream.send( 281197 );
int input = waitNext( inputStream );
outputStream.send( input + 441269 );
outputStream.send( 508213 );
} catch (...) {
outputStream.send( 481511 );
try {
outputStream.send( 902248 );
continue;
} catch (...) {
outputStream.send( 801076 );
state std::vector<int> list833389;
list833389.push_back(1);
list833389.push_back(2);
list833389.push_back(3);
for( auto i : list833389 ) {
outputStream.send( 828677 );
state int i413921; for(i413921 = 0; i413921 < 5; i413921++) {
outputStream.send( 972392 );
state std::vector<int> list209829;
list209829.push_back(1);
list209829.push_back(2);
list209829.push_back(3);
for( auto i : list209829 ) {
outputStream.send( 986318 );
throw operation_failed();
}
outputStream.send( 756646 );
}
outputStream.send( 685268 );
}
outputStream.send( 570856 );
}
outputStream.send( 193955 );
}
outputStream.send( 432512 );
} catch (...) {
outputStream.send( 373686 );
if ( (++ifstate&1) == 1 ) {
outputStream.send( 627374 );
int input = waitNext( inputStream );
outputStream.send( input + 597617 );
outputStream.send( 837374 );
}
outputStream.send( 297526 );
}
outputStream.send( 683444 );
}
outputStream.send( 871558 );
state std::vector<int> list684364;
list684364.push_back(1);
list684364.push_back(2);
list684364.push_back(3);
for( auto i : list684364 ) {
outputStream.send( 562891 );
break;
}
outputStream.send( 568138 );
}
outputStream.send( 510866 );
}
outputStream.send( 760603 );
}
outputStream.send( 396539 );
}
outputStream.send( 294563 );
} catch (...) {
outputStream.send( 341975 );
throw_operation_failed();
outputStream.send( 533359 );
}
outputStream.send( 313661 );
}
return 330816;
}
ACTOR Future<int> actorFuzz23( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
try {
outputStream.send( 803855 );
try {
outputStream.send( 187873 );
throw operation_failed();
} catch (...) {
outputStream.send( 107262 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 903833 );
return 122479;
}
outputStream.send( 129084 );
throw operation_failed();
}
} catch (...) {
outputStream.send( 193646 );
int input = waitNext( inputStream );
outputStream.send( input + 123221 );
outputStream.send( 336636 );
}
return 823727;
}
ACTOR Future<int> actorFuzz24( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state std::vector<int> list353113;
list353113.push_back(1);
list353113.push_back(2);
list353113.push_back(3);
for( auto i : list353113 ) {
outputStream.send( 904160 );
try {
outputStream.send( 630322 );
if ( (++ifstate&1) == 1 ) {
outputStream.send( 971556 );
throw_operation_failed();
outputStream.send( 693412 );
}
outputStream.send( 102553 );
continue;
} catch (...) {
outputStream.send( 284758 );
state std::vector<int> list964534;
list964534.push_back(1);
list964534.push_back(2);
list964534.push_back(3);
for( auto i : list964534 ) {
outputStream.send( 597252 );
return 236723;
}
outputStream.send( 482123 );
if ( (++ifstate&1) == 0 ) {
outputStream.send( 523339 );
int input = waitNext( inputStream );
outputStream.send( input + 223842 );
outputStream.send( 423422 );
}
outputStream.send( 683377 );
}
outputStream.send( 415173 );
}
return 660359;
}
ACTOR Future<int> actorFuzz25( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
try {
outputStream.send( 450503 );
int input = waitNext( inputStream );
outputStream.send( input + 146899 );
outputStream.send( 754498 );
} catch (...) {
outputStream.send( 898315 );
return 869882;
}
return 861489;
}
ACTOR Future<int> actorFuzz26( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
return 355765;
}
ACTOR Future<int> actorFuzz27( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
int input = waitNext( inputStream );
outputStream.send( input + 862579 );
return 567151;
}
ACTOR Future<int> actorFuzz28( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
try {
outputStream.send( 190685 );
state std::vector<int> list488175;
list488175.push_back(1);
list488175.push_back(2);
list488175.push_back(3);
for( auto i : list488175 ) {
outputStream.send( 107570 );
state std::vector<int> list925612;
list925612.push_back(1);
list925612.push_back(2);
list925612.push_back(3);
for( auto i : list925612 ) {
outputStream.send( 430892 );
throw_operation_failed();
outputStream.send( 705871 );
}
outputStream.send( 102606 );
}
outputStream.send( 619003 );
} catch (...) {
outputStream.send( 787855 );
state std::vector<int> list959628;
list959628.push_back(1);
list959628.push_back(2);
list959628.push_back(3);
for( auto i : list959628 ) {
outputStream.send( 934043 );
state int i699601; for(i699601 = 0; i699601 < 5; i699601++) {
outputStream.send( 815071 );
continue;
}
outputStream.send( 868540 );
}
outputStream.send( 978175 );
}
return 887701;
}
ACTOR Future<int> actorFuzz29( FutureStream<int> inputStream, PromiseStream<int> outputStream, Future<Void> error ) {
state int ifstate = 0;
state std::vector<int> list757591;
list757591.push_back(1);
list757591.push_back(2);
list757591.push_back(3);
for( auto i : list757591 ) {
outputStream.send( 121079 );
throw operation_failed();
}
outputStream.send( 814445 );
state int i743927; for(i743927 = 0; i743927 < 5; i743927++) {
outputStream.send( 548422 );
return 324302;
}
return 853491;
}
std::pair<int,int> actorFuzzTests() {
int testsOK = 0;
testsOK += testFuzzActor( &actorFuzz0, "actorFuzz0", (vector<int>(),472952,424221) );
testsOK += testFuzzActor( &actorFuzz1, "actorFuzz1", (vector<int>(),896041,406985) );
testsOK += testFuzzActor( &actorFuzz2, "actorFuzz2", (vector<int>(),981337) );
testsOK += testFuzzActor( &actorFuzz3, "actorFuzz3", (vector<int>(),169417,910046,901015,238065,238065,238065,238065,238065,216530,721088,154168,509758,331070,154168,509758,331070,154168,509758,331070,154168,509758,331070,154168,509758,331070,728291,150168) );
testsOK += testFuzzActor( &actorFuzz4, "actorFuzz4", (vector<int>(),924232) );
testsOK += testFuzzActor( &actorFuzz5, "actorFuzz5", (vector<int>(),793665,473530,728257,239736) );
testsOK += testFuzzActor( &actorFuzz6, "actorFuzz6", (vector<int>(),228205,686961,1000) );
testsOK += testFuzzActor( &actorFuzz7, "actorFuzz7", (vector<int>(),388211,388211,388211,388211,388211,215808) );
testsOK += testFuzzActor( &actorFuzz8, "actorFuzz8", (vector<int>(),906334,906334,906334,190561) );
testsOK += testFuzzActor( &actorFuzz9, "actorFuzz9", (vector<int>(),159221) );
testsOK += testFuzzActor( &actorFuzz10, "actorFuzz10", (vector<int>(),713197,195782) );
testsOK += testFuzzActor( &actorFuzz11, "actorFuzz11", (vector<int>(),715504,404836,687853,715504,404836,687853,715504,404836,687853,416948) );
testsOK += testFuzzActor( &actorFuzz12, "actorFuzz12", (vector<int>(),955805) );
testsOK += testFuzzActor( &actorFuzz13, "actorFuzz13", (vector<int>(),619715,528509,647852,619715,255314,619715,528509,647852,619715,255314,619715,528509,647852,391920) );
testsOK += testFuzzActor( &actorFuzz14, "actorFuzz14", (vector<int>(),422579,665867,422579,665867,422579,665867,422579,665867,422579,665867,798692) );
testsOK += testFuzzActor( &actorFuzz15, "actorFuzz15", (vector<int>(),463317,863528,144528,1000) );
testsOK += testFuzzActor( &actorFuzz16, "actorFuzz16", (vector<int>(),488500,436335,838746,488500,437335,838746,488500,438335,838746,241009) );
testsOK += testFuzzActor( &actorFuzz17, "actorFuzz17", (vector<int>(),499302) );
testsOK += testFuzzActor( &actorFuzz18, "actorFuzz18", (vector<int>(),1000) );
testsOK += testFuzzActor( &actorFuzz19, "actorFuzz19", (vector<int>(),217963,928990,833320,981835) );
testsOK += testFuzzActor( &actorFuzz20, "actorFuzz20", (vector<int>(),668336) );
testsOK += testFuzzActor( &actorFuzz21, "actorFuzz21", (vector<int>(),104331,404486) );
testsOK += testFuzzActor( &actorFuzz22, "actorFuzz22", (vector<int>(),173342,133654,317492,976956,294563,313661,330816) );
testsOK += testFuzzActor( &actorFuzz23, "actorFuzz23", (vector<int>(),803855,187873,107262,129084,193646,124221,336636,823727) );
testsOK += testFuzzActor( &actorFuzz24, "actorFuzz24", (vector<int>(),904160,630322,971556,284758,597252,236723) );
testsOK += testFuzzActor( &actorFuzz25, "actorFuzz25", (vector<int>(),450503,147899,754498,861489) );
testsOK += testFuzzActor( &actorFuzz26, "actorFuzz26", (vector<int>(),355765) );
testsOK += testFuzzActor( &actorFuzz27, "actorFuzz27", (vector<int>(),863579,567151) );
testsOK += testFuzzActor( &actorFuzz28, "actorFuzz28", (vector<int>(),190685,107570,430892,787855,934043,815071,815071,815071,815071,815071,868540,934043,815071,815071,815071,815071,815071,868540,934043,815071,815071,815071,815071,815071,868540,978175,887701) );
testsOK += testFuzzActor( &actorFuzz29, "actorFuzz29", (vector<int>(),121079,1000) );
return std::make_pair(testsOK, 30);
}
#endif // WIN32
Reference in New Issue View Git Blame Copy Permalink