Followed instructions to install nix, successfully ran 'fault synthesis' command, but ran into the following issue running the 'fault cut' command in the example ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback