kythe.io@v0.0.68-0.20240422202219-7225dbc01741/kythe/cxx/verifier (about)

BUILD
assertion_ast.h
assertions.cc
assertions.h
assertions.lex
assertions.yy
assertions_to_souffle.cc
assertions_to_souffle.h
assertions_to_souffle_test.cc
pretty_printer.cc
pretty_printer.h
souffle_entrysteam_support.cc
souffle_interpreter.cc
souffle_interpreter.h
souffle_interpreter_test.cc
testdata
verifier.cc
verifier.h
verifier_main.cc
verifier_unit_test.cc