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: build_verit.scala   Sprache: Scala

Untersuchungsergebnis.out Download desAbap {Abap[130] [0] [0]}zum Wurzelverzeichnis wechseln

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

[ zur Elbe Produktseite wechseln0.69Quellennavigators  ]