| products/sources/formale sprachen/PVS/orders/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: ssrview.mli Sprache: CoqUntersuchung Coq© |
|
||||||
|
Require Import Int63.
Set Implicit Arguments. Open Scope int63_scope. Check (eq_refl : 0 lor 0 = 0). Check (eq_refl 0 <: 0 lor 0 = 0). Check (eq_refl 0 <<: 0 lor 0 = 0). Definition compute1 := Eval compute in 0 lor 0. Check (eq_refl compute1 : 0 = 0). Check (eq_refl : 9223372036854775807 lor 0 = 9223372036854775807). Check (eq_refl 9223372036854775807 <: 9223372036854775807 lor 0 = 9223372036854775807). Check (eq_refl 9223372036854775807 <<: 9223372036854775807 lor 0 = 9223372036854775807). Definition compute2 := Eval compute in 9223372036854775807 lor 0. Check (eq_refl compute2 : 9223372036854775807 = 9223372036854775807). Check (eq_refl : 0 lor 9223372036854775807 = 9223372036854775807). Check (eq_refl 9223372036854775807 <: 0 lor 9223372036854775807 = 9223372036854775807). Check (eq_refl 9223372036854775807 <<: 0 lor 9223372036854775807 = 9223372036854775807). Definition compute3 := Eval compute in 0 lor 9223372036854775807. Check (eq_refl compute3 : 9223372036854775807 = 9223372036854775807). Check (eq_refl : 9223372036854775807 lor 9223372036854775807 = 9223372036854775807). Check (eq_refl 9223372036854775807 <: 9223372036854775807 lor 9223372036854775807 = 92233 Check (eq_refl 9223372036854775807 <<: 9223372036854775807 lor 9223372036854775807 = 92233 Definition compute4 := Eval compute in 9223372036854775807 lor 9223372036854775807. Check (eq_refl compute4 : 9223372036854775807 = 9223372036854775807). ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.13Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.Entwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
