public class DeciderLikeTestPatternPrinter
extends java.lang.Object
public static void print(Test test, java.nio.file.Path file, java.util.Set<java.lang.String> inputNames) throws java.io.IOException
test
- the test to be printedfile
- the file where the test will be printed toinputNames
- a set of all input signals of a tested modulejava.io.IOException
- if the specified file already exists or if an I/O error occurred