deepsec_worker still alive ?

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

After running a a completed execution a Deepsec_worker still appear in htop with status ?

VincentCheval commented 4 years ago

Had to revert the change. Using sigkill on a Linux would display Killed in terminal. Need to find something else.