Add a bunch of .mllib files so as to group the test files into several sets.

65f2fdec · POTTIER Francois · 568a26d7 · 65f2fdec · 65f2fdec · 65f2fdec
Commit 65f2fdec authored Mar 07, 2017 by POTTIER Francois
7 changed files
--- a/test/OOinfer.mllib
+++ b/test/OOinfer.mllib
+OOinfer
+OOinferfixed
+OOinferfixedagain
+OOinferfixedagaincheck
+OOinferself
+OOinfervirtual
--- a/test/VisitorsRuntimeBootstrap.mllib
+++ b/test/VisitorsRuntimeBootstrap.mllib
+VisitorsRuntimeBootstrap
--- a/test/bench.mllib
+++ b/test/bench.mllib
+Bench
--- a/test/cil_types.mllib
+++ b/test/cil_types.mllib
+cil_types
--- a/test/cil_types_polymorphic.mllib
+++ b/test/cil_types_polymorphic.mllib
+cil_types_polymorphic
--- a/test/expr.mllib
+++ b/test/expr.mllib
+expr
+expr00
+expr00endo
+expr00fold
+expr00fold2
+expr01
+expr02
+expr03
+expr04
+expr05
+expr05lexico
+expr05lexico_test
+expr06
+expr08
+expr08double
+expr08extra
+expr11
+expr12
+expr13
+expr13double
+expr13extra
+expr14
+expr15
+expr15b
+expr15c
+expr16
+expr17
+expr_import
+expr_import_opaque
+expr_info
+expr_info_mapreduce
+expr_info_mapreduce_test
+expr_info_mapreduce_use
+expr_info_polymorphic
+expr_info_use
+expr_redef
--- a/test/misc.mllib
+++ b/test/misc.mllib
+fold
+mapReduce
+map_from_fold
+monopoly
+opaque
+polyclass
+test00
+test01
+test02
+test03
+testallprims