search

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52 stars 2 forks source link

Add Run-Option to configure the number of workers used #29

Closed crazy-weasel closed 1 year ago

crazy-weasel commented 1 year ago

Hi!

Thanks for the plugin. It's nice to work within IntelliJ instead of the TLA Toolbox.

One thing I'm really missing is the ability to specify the number of used workers. (tlc option -workers) The default of tlc is just 1.

Thanks

ocadaruma commented 1 year ago

Thanks for reporting the issue!

Sounds nice to have indeed. let me try

ocadaruma commented 1 year ago

Will be released in 0.8.0