[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] ToolBox GraphViz encountered problem after cleaning .tlaplus folder



Hi Tlaplus Google Group,

I need help. I used to generate state graph in the ToolBox but when my ToolBox hanged up and I cleared the content of the .tlaplus folder so the ToolBox can run again, I noticed I am getting 'Generating State Graph Visualization...' has encountered a problem.

Below the details:

Errors occurred while running Graphviz
dot.exe/dot not found in PATH. Please install it from graphviz.org, update the PATH or specify the absolute path in the preferences.
dot input was:
strict digraph DiskGraph {
node [shape=box,style=rounded]
edge [colorscheme="paired12"]
nodesep=0.35;
subgraph cluster_graph {
color="white";
8011758163756806917 [label="/\\ pcie_vph = 0\n/\\ hsstp_vph = 0\n/\\ postDPS2Entry = FALSE\n/\\ vcc_1v8_aon = 0\n/\\ pcie_vp = 0\n/\\ vddq_nand = 0\n/\\ aon_vdd = 0\n/\\ hsstp_vp = 0\n/\\ core_vdd = 0\n/\\ fphy_vdd = 0\n/\\ pmic_reset = 0",style = filled]
8011758163756806917 -> 576866175578947521 [label="",color="2",fontcolor="2"];
576866175578947521 [label="/\\ pcie_vph = 1\n/\\ hsstp_vph = 1\n/\\ postDPS2Entry = FALSE\n/\\ vcc_1v8_aon = 1\n/\\ pcie_vp = 1\n/\\ vddq_nand = 1\n/\\ aon_vdd = 1\n/\\ hsstp_vp = 1\n/\\ core_vdd = 1\n/\\ fphy_vdd = 1\n/\\ pmic_reset = 1"];
576866175578947521 -> 5717618517093494699 [label="",color="3",fontcolor="3"];
5717618517093494699 [label="/\\ pcie_vph = 1\n/\\ hsstp_vph = 0\n/\\ postDPS2Entry = TRUE\n/\\ vcc_1v8_aon = 1\n/\\ pcie_vp = 0\n/\\ vddq_nand = 0\n/\\ aon_vdd = 1\n/\\ hsstp_vp = 0\n/\\ core_vdd = 0\n/\\ fphy_vdd ... (3591 chars omitted)

I appreciate the help,

Thanks,
Zitro

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/18d6c66a-e8e5-4dad-9a80-d812f285c324n%40googlegroups.com.