s27.netlist.v.cut.v.tv.json is not generated for the given example

[rafidmuttaki]

Hi,
I have been trying to run the tool from the docker. However, I am facing issues at the fault simulation step. For example, for the s27 design, I was following the steps as stated in the document, i.e., fault -c Tech/osu035/osu035_stdcells.v -v 100 -r 50 -m 95 --ceiling 1000 Netlists/s27.netlist.v.cut.v. However, there is no "s27.netlist.v.cut.v.tv.json" created at the Netlists folder.