Computation of physical core: lscpu not defined

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

Closed VincentCheval closed 4 years ago

VincentCheval commented 4 years ago

When the command does not exist we should try to catch the error and put the value to 1 by default otherwise DeepSec does not run.

In OPAM distribution, make sure that lscpu is within the dependency.

VincentCheval commented 4 years ago

Add lscpu as a dependency (not required but advised)