Files
c3c/test/test_suite/contracts/require_contract_loc.c3
2023-06-20 21:35:48 +02:00

6 lines
87 B
C

import std::io;
fn void main()
{
int a;
bitorder::read(a, int); // #error: violated
}