/cw4_marking/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2026-09-18 10:58 +0100 104 br.while
-rw-r--r-- 2026-09-18 10:58 +0100 46 c.sc
-rw-r--r-- 2026-09-18 10:58 +0100 340 c1.sc
-rw-r--r-- 2026-09-18 10:58 +0100 281 c1_add.sc
-rw-r--r-- 2026-09-18 10:58 +0100 1346 c2.sc
-rw-r--r-- 2026-09-18 10:58 +0100 338 c3.sc
-rw-r--r-- 2026-09-18 10:58 +0100 662 c4.sc
-rwxr-xr-x 2026-09-18 10:58 +0100 4995 cw4_test.sh
-rw-r--r-- 2026-09-18 10:58 +0100 36 for.while
-rwxr-xr-x 2026-09-18 10:58 +0100 839 mk_cw4