API Adding the private names in the display of configuration - Githubissues

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

API Adding the private names in the display of configuration #49

Closed VincentCheval closed 4 years ago

VincentCheval commented 4 years ago

Fix #47