Display memory consumption

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

Display memory consumption #37

Closed VincentCheval closed 4 years ago

VincentCheval commented 4 years ago

Could be interesting to display the memory consumption of the verification. Not sure if it is possible to do it for each query but at least for each batch.