mirror of
https://github.com/c3lang/c3c.git
synced 2026-02-27 12:01:16 +00:00
17 lines
228 B
Plaintext
17 lines
228 B
Plaintext
module test;
|
|
<*
|
|
@ensure return > 100
|
|
*>
|
|
fn int test(int baz)
|
|
{
|
|
return 1; // #error: @ensure "return > 100" violated.
|
|
}
|
|
|
|
extern fn void printf(char*, ...);
|
|
fn void main(String[] args)
|
|
{
|
|
test(1022);
|
|
printf("Hello\n");
|
|
}
|
|
|