[DOC-127]doc/cleanup-cprover-compilation-and-development#3384

Merged

owen-mc-diffblue merged 4 commits intodiffblue:developfrom

yumibagge:doc/cleanup-cprover-compilation-and-development

Nov 13, 2018

Commits on Nov 13, 2018

Update link
diffblue QA
committed
Update build directory expression
diffblue QA
committed
Added test.pl location
diffblue QA
committed
Fixed typo in unit test section
diffblue QA
committed