Nicolas Manini

I have a few more questions regarding the computed files when using `-esim`: I noticed that running `ltsinfo` on the output files obtained as described above (thus obtained via `-esim`,...