git.oblomov.eu Git - ohcount/blob - test/unit/parsers/test_coq.h

   1
   2 void test_coq_comments() {
   3   test_parser_verify_parse(
   4     test_parser_sourcefile("coq", " (* comment *)"),
   5     "coq", "", "(* comment *)", 0
   6   );
   7 }
   8
   9 void test_coq_comment_entities() {
  10   test_parser_verify_entity(
  11     test_parser_sourcefile("coq", " (*comment*)"),
  12     "comment", "(*comment*)"
  13   );
  14 }
  15
  16 void all_coq_tests() {
  17   test_coq_comments();
  18   test_coq_comment_entities();
  19 }