| // 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. |
| |
| #include "./fuzztest/internal/runtime.h" |
| |
| #include <memory> |
| #include <string> |
| #include <tuple> |
| |
| #include "gtest/gtest.h" |
| #include "absl/time/time.h" |
| #include "./fuzztest/domain.h" |
| #include "./fuzztest/internal/domain.h" |
| #include "./fuzztest/internal/test_protobuf.pb.h" |
| |
| namespace fuzztest::internal { |
| namespace { |
| |
| TEST(OnFailureTest, Output) { |
| const auto get_failure = [] { |
| std::string s; |
| on_failure.PrintReport(&s); |
| return s; |
| }; |
| // Disabled by default. |
| EXPECT_EQ(get_failure(), ""); |
| |
| FuzzTest test({"SUITE_NAME", "TEST_NAME", "FILE", 123}, nullptr); |
| std::tuple args(17, std::string("ABC")); |
| const RuntimeStats stats = {absl::FromUnixNanos(0), 1, 2, 3, 4}; |
| on_failure.Enable(&stats, [] { return absl::FromUnixNanos(1979); }); |
| run_mode = RunMode::kFuzz; |
| auto domain = TupleOf(Arbitrary<int>(), Arbitrary<std::string>()); |
| OnFailure::Args<decltype(domain)> debug_args{args, domain}; |
| on_failure.SetCurrentTest(&test); |
| on_failure.SetCurrentArgs(&debug_args); |
| EXPECT_EQ(get_failure(), R"( |
| ================================================================= |
| === Fuzzing stats |
| |
| Elapsed seconds (ns): 1979 |
| Total runs: 1 |
| Edges covered: 2 |
| Total edges: 3 |
| Corpus size: 4 |
| |
| ================================================================= |
| === BUG FOUND! |
| |
| FILE:123: Counterexample found for SUITE_NAME.TEST_NAME. |
| The test fails with input: |
| argument 0: 17 |
| argument 1: "ABC" |
| |
| ================================================================= |
| === Reproducer test |
| |
| TEST(SUITE_NAME, TEST_NAMERegression) { |
| TEST_NAME( |
| 17, |
| "ABC" |
| ); |
| } |
| |
| ================================================================= |
| )"); |
| |
| on_failure.Disable(); |
| EXPECT_EQ(get_failure(), ""); |
| } |
| |
| } // namespace |
| } // namespace fuzztest::internal |