Computed batch title if only 1 file

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

Closed victor-yon closed 4 years ago

victor-yon commented 4 years ago

If only 1 file and the use didn't specify a batch name then compute one from the dps file name

VincentCheval commented 4 years ago

Done in 65f90f591317c8f6aa68cac11dbc282b20049faa