| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 383 B |
|
Quelle bug_10504.vSprache: Coq |
|||||||||||||||
|
Inductive any_list {A} := | nil : @any_list A | cons : forall X, A -> @any_list X -> @any_list A. Arguments nil {A}. Arguments cons {A X}. Notation "[]" := (@nil Type). Notation "hd :: tl" := (cons hd tl). Definition xs := true :: 2137 :: false :: 0 :: []. Fail Definition ys := xs :: xs. (* Goal ys = ys. produced an anomaly "Unable to handle arbitrary u+k <= v constraints" *)
¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25