If a specifications set is not given VTG hangs
If job does not contain the "specifications set" tag then sub-job never terminates because of VTG endless waiting.
#2 Updated by Evgeny Novikov over 1 year ago
- Status changed from Resolved to Closed
I merged the branch to master in ce1eaf16. Rule specification "empty" shouldn't cause verification anyway, so, it isn't necessary to produce verification tasks after all. This rule specification can help to quickly test decomposition of target programs into fragments.