tests/proofmode.v | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 longer timeout to avoid failure on riscv64 architecture