Progress reporting does not support files included via import statement

[viper-admin]

Created by @aterga on 2016-10-28 16:26
Last updated on 2017-03-12 11:22

[viper-admin]

@aterga on 2017-03-04 17:03:

• changed priority from major to minor

[viper-admin]

@aterga on 2017-03-05 13:45:

• changed milestone from (none) to Robust IDE (Basic Features)
• changed component from (none) to Robustness

[viper-admin]

Bitbucket user rukaelin commented on 2017-03-12 11:22

If the progress related JSON messages output by silicon contain information about all imported files, then the progress reporting works for imported files.

currently silicon is not outputting the JSON messages required for progress reporting at all. Therefore, the IDE only uses the information about completion time of an entire verification and is less precise, (e.g. it cannot account for imported files)