Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
RecognizePluginWarning.v
Sprache: Unknown
|
(* -*- mode: coq; coq-prog-args: ("-w" "extraction-logical-axiom") -*- *)
(* Test that mentioning a warning defined in plugins works. The failure
mode here is that these result in a warning about unknown warnings, since the
plugins are not known at command line parsing time. *)
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
|
