Codebase list ohcount / 4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main test / unit / parsers / test_coq.h
4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main

Tree @4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main (Download .tar.gz)

test_coq.h @4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main 

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

void test_coq_comment_entities() {
  test_parser_verify_entity(
    test_parser_sourcefile("coq", " (*comment*)"),
    "comment", "(*comment*)"
  );
}

void all_coq_tests() {
  test_coq_comments();
  test_coq_comment_entities();
}