// Copyright 2022 Google LLC
//
// 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.

// Fuzz test examples to be used by `functional_test` only.

#include "./fuzztest/fuzztest.h"

namespace {

// TODO(b/203465367): Investigate if we can delay execution of seed parsing
// until main().
void InvalidSeedDueToUserValueNotConvertibleToCorpusValue(int) {}
FUZZ_TEST(MySuite, InvalidSeedDueToUserValueNotConvertibleToCorpusValue)
    // Map does not support seeds.
    .WithDomains(fuzztest::Map([](int) { return 0; },
                               fuzztest::Arbitrary<int>()))
    .WithSeeds({{17}});

void InvalidSeedDueToCorpusValueOutOfDomain(int) {}
FUZZ_TEST(MySuite, InvalidSeedDueToCorpusValueOutOfDomain)
    .WithDomains(fuzztest::InRange(0, 10))
    .WithSeeds({{2}, {17}, {6}});

struct MyTest {
  void ShouldNotCrash(int) {}
  std::vector<std::tuple<int>> GetSeeds() { return {{2}, {17}, {6}}; }
};
FUZZ_TEST_F(MyTest, ShouldNotCrash)
    .WithDomains(fuzztest::InRange(0, 10))
    .WithSeeds(&MyTest::GetSeeds);

}  // namespace