Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-news] TPTP C++ code review with europa

I’m not sure if this is the correct forum please excuse me if I have goofed.

 

I’m having trouble getting any results from C++ analysis. I am using CDT 4.0.1 with Eclipse 3.3.0 and C++ Code review 4.4.0. What do I need to do to make it  work?


Back to the top