| 137 | class StandardLibraryDefinitionsTest : public ::testing::Test { |
| 138 | public: |
| 139 | void SetUp() override { |
| 140 | ASSERT_OK_AND_ASSIGN( |
| 141 | std::unique_ptr<TypeCheckerBuilder> builder, |
| 142 | CreateTypeCheckerBuilder(GetSharedTestingDescriptorPool())); |
| 143 | ASSERT_THAT(builder->AddLibrary(StandardCheckerLibrary()), IsOk()); |
| 144 | ASSERT_OK_AND_ASSIGN(stdlib_type_checker_, builder->Build()); |
| 145 | } |
| 146 | |
| 147 | protected: |
| 148 | std::unique_ptr<TypeChecker> stdlib_type_checker_; |
nothing calls this directly
no test coverage detected