multi-threads of Corral?

boogie-org / corral

solver for the reachability modulo theories problem

MIT License

58 stars 29 forks source link

multi-threads of Corral? #81

Closed bitcalc closed 5 years ago

bitcalc commented 5 years ago

When I ran Corral on a big Boogie file with mono in a Linux system, I noticed that there was only one thread running. Does Corral support multi-threaded execution to speed up the process?

akashlal commented 5 years ago

Corral is currently single-threaded. But we are working on multi-threaded support.

bitcalc commented 5 years ago

@akashlal does Corral now run in multiple threads? That'd be wonderful!