Commit 3bc7cf82 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Working around an Ocarina bug; the order matters.

parent f930627d
......@@ -981,10 +981,15 @@ void Generate_Full_ConcurrencyView(Process_list *processes, char *root_node)
FOREACH(b, Bus, get_system_ast()->buses, {
fprintf(process, " %s_cv : bus %s;\n", b->name, b->classifier);
});
// FOREACH(p, Process, processes, {
// });
/* Add all drivers of all processes to the complete system */
FOREACH (p, Process, processes, {
FOREACH(b, Device, p->drivers, {
GenerateProcessRefinement(p);
FOREACH(b, Device, p->drivers, {
char *driver_no_underscore =
underscore_to_dash (b->name, strlen (b->name));
fprintf(process,
......@@ -1022,10 +1027,6 @@ void Generate_Full_ConcurrencyView(Process_list *processes, char *root_node)
});
});
FOREACH(p, Process, processes, {
GenerateProcessRefinement(p);
});
FOREACH(p, Process, processes, {
FOREACH(p2, Process, processes, {
if (p2 == p) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment