| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 693 B |
|
Quelle bug_9517.vSprache: Coq |
|||||||||||||||
|
Declare Custom Entry expr. Declare Custom Entry stmt. Notation "x" := x (in custom stmt, x ident). Notation "x" := x (in custom expr, x ident). Notation "'_'" := _ (in custom expr). Notation "1" := 1 (in custom expr). Notation "! x = y !" := (pair x y) (in custom stmt at level 0, x custom expr, y custom expr). Notation "? x = y" := (pair x y) (in custom stmt at level 0, x custom expr, y custom expr). Notation "x = y" := (pair x y) (in custom stmt at level 0, x custom expr, y custom expr). Notation "stmt:( s )" := s (s custom stmt). Check stmt:(! _ = _ !). Check stmt:(? _ = _). Check stmt:(_ = _). Check stmt:(! 1 = 1 !). Check stmt:(? 1 = 1). Check stmt:(1 = 1). Check stmt:(_ = 1).
¤ Dauer der Verarbeitung: 0.7 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09