Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 340 B image not shown  

Quelle  func-and-proc-call-trace.g   Sprache: unbekannt

 
informproc0 := function(l)
Add(l,1);
l();
end;;
informproc0([]);
quit;
Print("\n\n");
informproc1 := function(l)
Add(l,1);
l(1);
end;;
informproc1([]);
quit;
Print("\n\n");
informproc2 := function(l)
Add(l,1);
l(1,2);
end;;
informproc2([]);
quit;
Print("\n\n");
informproc3 := function(l)
Add(l,1);
l(1,2,3);
end;;
informproc3([]);
quit; 
Print("\n\n");
informproc4 := function(l)
Add(l,1);
l(1,2,3,4);
end;;
informproc4([]);
quit;
Print("\n\n");
informproc5 := function(l)
Add(l,1);
l(1,2,3,4,5);
end;;
informproc5([]);
quit;
Print("\n\n");
informproc6 := function(l)
Add(l,1);
l(1,2,3,4,5,6);
end;;
informproc6([]);
quit;
Print("\n\n");
informprocmore := function(l)
Add(l,1);
l(1,2,3,4,5,6,7);
end;;
informprocmore([]);
quit;
Print("\n\n");
informfunc0 := function(l)
Add(l,1);
Print(l());
end;;
informfunc0([]);
quit;
Print("\n\n");
informfunc1 := function(l)
Add(l,1);
Print(l(1));
end;;
informfunc1([]);
quit;
Print("\n\n");
informfunc2 := function(l)
Add(l,1);
Print(l(1,2));
end;;
informfunc2([]);
quit;
Print("\n\n");
informfunc3 := function(l)
Add(l,1);
Print(l(1,2,3));
end;;
informfunc3([]);
quit;
Print("\n\n");
informfunc4 := function(l)
Add(l,1);
Print(l(1,2,3,4));
end;;
informfunc4([]);
quit;
Print("\n\n");
informfunc5 := function(l)
Add(l,1);
Print(l(1,2,3,4,5));
end;;
informfunc5([]);
quit;
Print("\n\n");
informfunc6 := function(l)
Add(l,1);
Print(l(1,2,3,4,5,6));
end;;
informfunc6([]);
quit;
Print("\n\n");
informfuncmore := function(l)
Add(l,1);
Print(l(1,2,3,4,5,6,7));
end;;
informfuncmore([]);
quit;
Print("\n\n");

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]