[cdt-dev] Codan checkers in the background

[Pascal Rapicault <pascal@xxxxxxxxxxxx>]

Hi,

I'm looking at the integration of a model checker with Codan and I'm 
wondering if the processResource would allow for the actual verification 
to be performed by a background job (which could take up to several 
minutes depending on the situation) and upon completion report the 
problems using the codan API.

Thanks

Pascal