~Hi all! Did anyone try Fault as standalone? https://github.com/Cloud-V/Fault/wiki I am trying it by using its docker image but could not find the following file in repo RTL/ISCAS_89/s27.v I found this particular file here and moved it RTL. https://github.com/Cloud-V/Fault/tree/master/Benchmarks/ISCAS_89 But later on I got stuck at~

fault --tvSet RTL/ISCAS_89/s27.v.tv.json Netlists/s27.netlist.v.cut.v

Can someone help me on this issue?