search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
52 stars 30 forks source link

pnml2lts-mc on more than 64 cores crashes with error #132

Closed jacopol closed 7 years ago

jacopol commented 7 years ago

On caserta: pnml2lts-mc problem101.pnml pnml2lts-mc( 4/192), error : No more than 64 threads are supported.

LTSmin (HRE?) should have the following behaviour: If the user specifies --threads=128 => fail with error (like above) default: should be --threads=min(64,available cores)

(similar with pnml2lts-sym --lace-workers, but I understood that Sylvan 1.1.4 solved that already)

Meijuh commented 7 years ago

@alaarman small fix right?

alaarman commented 7 years ago

yep

alaarman commented 7 years ago

Fixed in 0ff7c82920b1cc7cc89ef10af8a1e427699797f8