Feature #8434

Updated by Evgeny Novikov over 1 year ago

A long ago I assumed that we will have a lot of job classes for various types of target programs. These classes can't be intermixed. For each job class there can be:
# Specific means for setting corresponding jobs in Bridge. jobs. Indeed this won't be ever implemented since it is too hard. The only universal format is providing a number of specification and configuration files.
# Specific Core components for solving them. This should be replaced with using universal components and their specific configurations.
# Specific Core components for reporting their verification results. For this we suppose to use a more flexible approach by configuring verification results processing like other steps of the static verification workflow.
# Specific Bridge components for visualizing their verification results. Here we suppose to switch to also a more flexible approach of specific data visualization.