Add more code tag in user error messages - Githubissues

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

Add more code tag in user error messages #38

Closed victor-yon closed 4 years ago

victor-yon commented 4 years ago

In this image "plop" should be in code