Merge remote-tracking branch '01/devel'
fmbt-ucheck fixes. No core dumping on coverage syntax errors. coverage_path improvement for report usage
coverage_market is a local coverage...
...
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Added file to coverage usecase
We should free some memory if we allocate it
Merge Pablo's commits
self-test written for fmbt-ucheck
Version 0.5-1