// 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 InvalidSeed(int) {}
FUZZ_TEST(MySuite, InvalidSeed)
    // Map does not support seeds.
    .WithDomains(fuzztest::Map([](int) { return 0; },
                               fuzztest::Arbitrary<int>()))
    .WithSeeds({{17}});

}  // namespace