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