afl-material: progs/while-tests/fib.while@1a23d87d1700 (annotated)

208 bd5a8a6b3871 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 207 diff changeset	1	write "Fib";
272 1446bc47a294 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 215 diff changeset	2	read n;
207 f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	3	minus1 := 0;
f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	4	minus2 := 1;
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	5	while n > 0 do {
207 f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	6	temp := minus2;
f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	7	minus2 := minus1 + minus2;
f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	8	minus1 := temp;
f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	9	n := n - 1
75 898c25a4e399 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	10	};
207 f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	11	write "Result";
f824e1331fc6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 182 diff changeset	12	write minus2
75 898c25a4e399 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 73 diff changeset	13

author	Christian Urban <christian.urban@kcl.ac.uk>
	Mon, 20 Oct 2025 22:18:21 +0200
changeset 1013	1a23d87d1700
parent 742	b5b5583a3a08
permissions	-rw-r--r--