Improve and extend test data (#99)

* Add uncounted comments in Ur/Web files

* Add Cogent test file

* Add F* test file
This commit is contained in:
Tuncer Ayaz 2017-01-29 23:31:54 +01:00 committed by Aaron Power
parent f19bcd994a
commit 65905122b8
5 changed files with 20 additions and 3 deletions

7
tests/data/cogent.cogent Normal file
View file

@ -0,0 +1,7 @@
-- 7 lines 2 code 2 comments 3 blanks
type A -- uncounted comment
-- comment
type B

10
tests/data/fstar.fst Normal file
View file

@ -0,0 +1,10 @@
(* 10 lines 3 code 4 comments 3 blanks *)
module Hello
(* multi
line
comment *)
open FStar.IO
let main = print_string "Hello, F*!\n" (* uncounted comment *)

View file

@ -8,7 +8,7 @@ fun main () = return <xml>
line
comment *)
<body>
<body> (* uncounted comment *)
<h1>Hello world!</h1>
</body>
</xml>

View file

@ -1,3 +1,3 @@
# 3 lines 1 code 1 comments 1 blanks
urweb
urweb # uncounted comment

View file

@ -1,3 +1,3 @@
(* 3 lines 1 code 1 comments 1 blanks *)
val main : unit -> transaction page
val main : unit -> transaction page (* uncounted comment *)