Add support for ENV threads ending

ispras / cv

Klever Continuous Verification Framework

Apache License 2.0

1 stars 3 forks source link

Closed vmordan closed 4 months ago

vmordan commented 4 months ago

ENV artifitial thread may end in an error trace before the violation