BadOptionValueType.v « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/output/BadOptionValueType.v

blob: b61c3757ba2a22aeaa7626f5ef693c8e2b9e91be (plain)

Fail Set Default Timeout "2".
Fail Set Debug Eauto "yes".
Fail Set Debug Eauto 1.
Fail Set Implicit Arguments 1.