| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/primitive/float/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 310 B |
|
Quelle coq_env_double_array.v Sprache: Coq |
|||||||||||||||
|
Require Import PrimFloat. Goal True. pose (f := one). pose (f' := (-f)%float). (* this used to segfault when the coq_env array given to the coq_interprete C function was an unboxed OCaml Double_array (created by Array.map in csymtable.ml just before calling eval_tcode) *) vm_compute in f'. Abort.
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-09-27) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-10-09