Skip to content
Snippets Groups Projects
Commit fab45b18 authored by William Schultz's avatar William Schultz Committed by Markus Alexander Kuppe
Browse files

Make extra TLC DOT parameters sub arguments of -dump

parent 7f04a516
No related branches found
No related tags found
No related merge requests found
......@@ -357,18 +357,6 @@ public class TLC
printErrorMsg("Error: A file name for dumping states required.");
return false;
}
} else if (args[index].equals("-colorize")) {
// Colorize state transition edges in the DOT state graph. Each action
// gets a unique color.
colorize = true;
index++;
} else if (args[index].equals("-actionLabels")) {
// Label transition edges in the state graph with the name of the
// associated action. Can potentially add a large amount of visual clutter for
// large graphs with many actions.
actionLabels = true;
index++;
} else if (args[index].equals("-coverage"))
{
index++;
......
......@@ -44,7 +44,7 @@ import tlc2.tool.liveness.ModelCheckerTestCase;
public class DumpAsDotTest extends ModelCheckerTestCase {
public DumpAsDotTest() {
super("MC", "BasicModel", new String[] {"-colorize", "-actionLabels", "-dump", "dot", System.getProperty("java.io.tmpdir") + File.separator + "DumpAsDotTest"});
super("MC", "BasicModel", new String[] {"-dump", "dot,colorize,actionlabels", System.getProperty("java.io.tmpdir") + File.separator + "DumpAsDotTest"});
}
@Test
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment