כתוב לי ככה:

לפנייך פונקציה:
int makenumber (int n int k

זוהי הפונקציה:

}
int num=0 ;
int i=0 ;
while (i<=n
}
num=num*10+k
++i
{
return num
{

טענת יציאה________
(מה הפונקציה מבצעת)

א) נסח טענת יציאה עבור מה שהפונקציה הנתונה מבצעת .

טענת כניסה: משתנה k ומשתנה n מטיפוס טיבעי

טענת יציאה - מה הפונקציה ביצעה בסך הכל...

במקרה הזה:

לפי טבלת המעקב שעשיתי ראיתי שהפונקציה מבצעת הכפלה פי 11 בכל פעם
לדוגמא לקחתי את המספרים:
n=5
k=7
i=0
num=0

הלולאה תתבצע 6 פעמים
והתהליך יהיה כזה: (המספרים במקום המשתנים)
num=0*10+7
num=7
num=7*10+7
num=77
num=77*10+7
num=777

וכך הלאה......