products/sources/formale Sprachen/Coq/test-suite/output image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Unknown

Columbo aufrufen.out zum Wurzelverzeichnis wechselnAbap {Abap[130] [0] [0]}Datei anzeigen

I31
     : digits31 int31
2
     : int31
660865024
     : int31
2 + 2
     : int31
2 + 2
     : int31
     = 4
     : int31
     = 710436486
     : int31
The command has indeed failed with message:
Cannot interpret this number as a value of type int31

[ Original von:0.57Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]