File: divest-Ex.Rout
SUMMARY: AddressSanitizer: 720 byte(s) leaked in 8 allocation(s).

File: tests/tinytest.Rout.fail
SUMMARY: AddressSanitizer: 124288 byte(s) leaked in 33 allocation(s).

File: 00check.log
SUMMARY: AddressSanitizer: 720 byte(s) leaked in 8 allocation(s).
  SUMMARY: AddressSanitizer: 124288 byte(s) leaked in 33 allocation(s).