Compile Error
/in/solver.cpp: In function 'void Deducthelper(CNF&, CNF*, int*, int*, Literal*, int, int)':
/in/solver.cpp:58:26: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
for(int j=0;j<cnf.getNumVars();j++){rval[j]=val[j];}
~^~~~~~~~~~~~~~~~~
cc1plus: all warnings being treated as errors
Information
- Submit By
-
吴瑜潇 LV 0
- Type
- Submission
- Homework
- Project Four: SAT
- Language
- C++
- Submit At
- 2020-11-22 23:57:26
- Judged At
- 2020-11-22 23:57:26
- Judged By
-
密院最笨ds
- Score
- 0
- Total Time
- 0ms
- Peak Memory
- 0 Bytes