From 9f5e009419615926a67693c7cc2030ad8c8d95ad Mon Sep 17 00:00:00 2001
From: Jaime Arias Almeida <arias@lipn.univ-paris13.fr>
Date: Sat, 4 Jun 2022 10:31:19 +0200
Subject: [PATCH] fix: print SOG in dot format
---
.devcontainer/Dockerfile | 2 +-
src/main.cpp | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index d5bfa3f..ffa5321 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -6,7 +6,7 @@ FROM mcr.microsoft.com/vscode/devcontainers/cpp:0-${VARIANT}
# [Optional] Uncomment this section to install additional packages.
RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
- && apt-get -y install --no-install-recommends wget cmake bison flex \
+ && apt-get -y install --no-install-recommends wget cmake bison flex graphviz \
openmpi-bin libopenmpi-dev && \
wget http://www.lrde.epita.fr/dload/spot/spot-2.10.4.tar.gz && \
tar xzf spot-2.10.4.tar.gz && cd spot-2.10.4 && \
diff --git a/src/main.cpp b/src/main.cpp
index 6847eda..b94d3bd 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -590,7 +590,7 @@ int main(int argc, char **argv)
spot::twa::prop_set::all(), true);
if (dot_sog)
{
- saveGraph(af, "SOG.dot", "ka");
+ saveGraph(k, "SOG.dot", "ka");
}
cout << endl;
--
GitLab