remove duplicate code on cmd_args_def.h

AliveToolkit / alive2

Automatic verification of LLVM optimizations

MIT License

766 stars 97 forks source link

remove duplicate code on cmd_args_def.h #1046

Closed IamYJLee closed 4 months ago

IamYJLee commented 4 months ago

There is redundancy in the code that sets the value of the config::src_unroll_cnt variable.

IamYJLee commented 4 months ago

@nunoplopes Looking at the whole source code, the #ifdef ARGS_SRC_TGT directive itself seems unnecessary. Could you please give your opinion on this?

nunoplopes commented 4 months ago

It's a typo. it should be setting tgt unroll factor, not src.