GUI analysis should be multi-threaded.

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols

https://cispa.saarland/group/cremers/scyther/index.html

96 stars 38 forks source link

GUI analysis should be multi-threaded. #12

Open cascremers opened 11 years ago

cascremers commented 11 years ago

Currently, analysis of claims in the GUI is done in a batch. Ideally, we spawn a thread for each claim. This allows partial results to come in quick, and even yield results at all if some claims do not terminate in reasonable time.