search

mutilin / klever

Klever Git repository read-only mirror
https://forge.ispras.ru/projects/klever
Apache License 2.0
0 stars 1 forks source link

Establish parallel task preparation in Klever #70

Open vmordan opened 1 year ago

vmordan commented 1 year ago

Klever should be able to generate verification tasks in parallel (4-8 threads at least) without failures.