All checks were successful
CI / ci (ReleaseFast, ubuntu-latest) (pull_request) Successful in 2m19s
CI / ci (ReleaseSmall, ubuntu-latest) (pull_request) Successful in 2m17s
CI / ci (ReleaseSafe, ubuntu-latest) (pull_request) Successful in 2m23s
CI / ci (Debug, ubuntu-latest) (pull_request) Successful in 3m33s
CI / ci (ReleaseFast, ubuntu-latest) (push) Successful in 2m19s
CI / ci (ReleaseSmall, ubuntu-latest) (push) Successful in 2m16s
CI / ci (ReleaseSafe, ubuntu-latest) (push) Successful in 2m22s
CI / ci (Debug, ubuntu-latest) (push) Successful in 3m32s
33 lines
437 B
Plaintext
33 lines
437 B
Plaintext
require = fn (ok: u1) void
|
|
{
|
|
if (!ok) #trap();
|
|
}
|
|
|
|
[export] main = fn [cc(c)] () s32
|
|
{
|
|
>array: [_]u32 = [5, 3, 2];
|
|
>counter: u32 = 0;
|
|
for (e : array)
|
|
{
|
|
counter += e;
|
|
}
|
|
|
|
require(counter == 10);
|
|
|
|
for (&e : array)
|
|
{
|
|
e.& += 1;
|
|
}
|
|
|
|
>new_counter: u32 = 0;
|
|
|
|
for (e : array)
|
|
{
|
|
new_counter += e;
|
|
}
|
|
|
|
require(new_counter == counter + array.length);
|
|
|
|
return 0;
|
|
}
|