
* Split requirements to get better error messages in case of unsat solves. * use list requirements instead of string * activate static_analysis in a few pipelines Signed-off-by: Massimiliano Culpo <massimiliano.culpo@gmail.com>
* Split requirements to get better error messages in case of unsat solves. * use list requirements instead of string * activate static_analysis in a few pipelines Signed-off-by: Massimiliano Culpo <massimiliano.culpo@gmail.com>