| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 122 B |
|
Quelle bug_4690.vSprache: Coq |
|||||||||||||||
|
(* Check that @f is not allowed in notation when f is a notation variable *) Fail Notation "# g" := (@g O) (at level 0).
¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09