Jeremiah Orians 1f7119afe2 Add support for 1_000_000 being valid 8 月之前
..
array.c 0e3d5b609a Add support for global char foo[12]; definitions 3 年之前
proof.answer 55db771e29 tests: get proof from test0025 stderr (and other minor fixes) 3 年之前
run_test.sh 1f7119afe2 Add support for 1_000_000 being valid 8 月之前