Re: [tlaplus] tlc uses only one cpu when enable liveness checking

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 09.03.20 18:53, Yongqiang Yang wrote:
> When I enabled liveness checking by adding formula to properties, TLC
> uses only one cpu.  Is this expected?

Yes:
https://en.wikipedia.org/wiki/Tarjan%27s_strongly_connected_components_algorithm

M.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/3ba5ff25-73af-cf23-8b5e-412d2103ce93%40lemmster.de.