| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 125 B |
|
Quelle bug_13950.v Sprache: Coq |
|||||||||||||||
|
Record r := mk_r { x : unit }. Definition f y := Eval vm_compute in y.(x). Definition g y := Eval native_compute in y.(x).
¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-09-29) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-10-10