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: bca6ed9599dfa4f72ce2cd36e9498b5b84242528 (plain)

test_suite/hierarchy_test.v

-I .
-R . mathcomp

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