products/Sources/formale Sprachen/COBOL/Test-Suite/COBOL/NC/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 4.1.2008 mit Größe 38 kB image not shown  

Quelle  auto.out   Sprache: unbekannt

 
Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

(* info auto: *)
simple apply or_intror (in core).
 intro.
 assumption.
(* debug auto: *)
* assumption. (*fail*)
* intro. (*fail*)
* simple apply or_intror (in core). (*success*)
** assumption. (*fail*)
** intro. (*success*)
** assumption. (*success*)
(* info eauto: *)
simple apply or_intror.
 intro.
 exact H.
(* debug eauto: *)
Debug: 1 depth=5 
Debug: 1.1 depth=4 simple apply or_intror
Debug: 1.1.1 depth=4 intro
Debug: 1.1.1.1 depth=4 exact H
(* info trivial: *)
exact I (in core).

[Dauer der Verarbeitung: 0.18 Sekunden, vorverarbeitet 2026-04-28]