aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Make.test-suite
blob: acfbf89ec702589e41d73523bb4e51936375c163 (plain)
1
2
3
4
5
6
7
8
9
test_suite/test_hierarchy_all.v
test_suite/test_ssrAC.v
test_suite/test_guard.v
test_suite/test_regular_conv.v

-I .

-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths