civl verify -errorBound=10 -ompNoSimplify -userIncludePath=./m4ri/ -sysIncludePath=./ tests/test_colswap.c