When running make with default target all, we run test targets testcpybuilder,
testdejagnu, test-suite and testcpychecker, but none of those excercises
gcc-with-cpychecker.
Add a target testdemo, which runs the demo target (which excercises
gcc-with-cpychecker) and verifies the output.
[ The demo fails for me with verify_refcounting=True, so demo.expected is
generated with verify_refcounting=False. That file needs to be fixed up with
the missing verify_refcounting related lines. ]
When running make with default target all, we run test targets testcpybuilder, testdejagnu, test-suite and testcpychecker, but none of those excercises gcc-with-cpychecker.
Add a target testdemo, which runs the demo target (which excercises gcc-with-cpychecker) and verifies the output.
[ The demo fails for me with verify_refcounting=True, so demo.expected is generated with verify_refcounting=False. That file needs to be fixed up with the missing verify_refcounting related lines. ]