civl verify input.c > input.log