Changes made in MarabouCore not getting reflected after Build

[phoenixbirdashes]

I was trying to make changes in Marabou.cpp file in the src/engine folder. But the changes I made are not getting reflected after successfull build.

In this image, I was trying to change the printf statement but the changes are not getting updated.

[wu-haoze]

Hi @phoenixbirdashes , since you passed in the --snc flag, the entry point is actually src/engine/DnCMarabou.cpp. We do hope to merge Marabou.cpp and DnCMarabou.cpp at some point.

[wu-haoze]

If you remove the --snc flag, the printed statement will show up.