Make.test-suite « mathcomp - coq-mathcomp - Library of mathematical components formalized in Coq

about summary refs log tree commit diff

path: root/mathcomp/Make.test-suite

blob: 99d828970ceb5841850e779b0a7c2804f0babc87 (plain)

test_suite/hierarchy_test.v
test_suite/test_ssrAC.v

-I .
-R . mathcomp

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