检查结果说明

编程框架调用verifier检查到错误时，会打印如下内容，具体字段信息如下所示。

[build]# make
[ 12%] Building C object src/CMakeFiles/ucc.dir/ucc_main.c.o
[ 25%] Building C object src/CMakeFiles/ucc.dir/dcqcn/ucc_dcqcn_cnp_rx_user.c.o
[ 37%] Building C object src/CMakeFiles/ucc.dir/dcqcn/ucc_dcqcn_cnp_tx_user.c.o
[ 50%] Building C object src/CMakeFiles/ucc.dir/hitch/ucc_hitch_ack.c.o
[ 62%] Building C object src/CMakeFiles/ucc.dir/hitch/ucc_hitch_nack.c.o
[ 75%] Building C object src/CMakeFiles/ucc.dir/hitch/ucc_hitch_timeout.c.o
[ 87%] Building C object src/CMakeFiles/ucc.dir/verbs/ucc_verbs_event.c.o
[100%] Linking C static library ../lib/libucc.a
[100%] Built target ucc
ERROR: verifier found problems:
problem: 1
   file: ../src/ucc_main.c line: 28 offset: 10
   type: ENUM.VALUE (ERROR)
   desc: enum argument must be within valid range
make[2]: *** [CMakeFiles/flash_bin.dir/build.make:70: CMakeFiles/flash_bin] Error 255
make[1]: *** [CMakeFiles/Makefile2:100: CMakeFiles/flash_bin.dir/all] Error 2
make: *** [Makefile:91: all] Error 2