From 26318ad22b77dd1dbaf1571eb0fb8a641434c93c Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Tue, 4 Jun 2013 19:50:27 -0400
Subject: [PATCH] Add dijkstra example as python selftest

---
 examples/dijkstra.dyna              |  2 +-
 examples/expected/dijkstra.py.out   | 22 ++++++++++++++++++++++
 src/Dyna/Backend/Python/Selftest.hs |  2 +-
 3 files changed, 24 insertions(+), 2 deletions(-)
 create mode 100644 examples/expected/dijkstra.py.out

diff --git a/examples/dijkstra.dyna b/examples/dijkstra.dyna
index 980afbf..8952c29 100644
--- a/examples/dijkstra.dyna
+++ b/examples/dijkstra.dyna
@@ -1,6 +1,6 @@
 
 % Dijkstra's algorithm for single-source shortest path
-path(*start) min= 0 .
+path(start) min= 0 .
 path(B) min= path(A) + edge(A,B).
 
 start := "a".
diff --git a/examples/expected/dijkstra.py.out b/examples/expected/dijkstra.py.out
new file mode 100644
index 0000000..397415a
--- /dev/null
+++ b/examples/expected/dijkstra.py.out
@@ -0,0 +1,22 @@
+
+Charts
+============
+edge/2
+=================
+edge('a','b')                  := 1
+edge('a','c')                  := 1
+edge('a','d')                  := 3
+edge('b','d')                  := 1
+edge('c','d')                  := 2
+
+path/1
+=================
+path('a')                      := 0
+path('b')                      := 1
+path('c')                      := 1
+path('d')                      := 2
+
+start/0
+=================
+start                          := 'a'
+
diff --git a/src/Dyna/Backend/Python/Selftest.hs b/src/Dyna/Backend/Python/Selftest.hs
index 638ea3d..762c421 100644
--- a/src/Dyna/Backend/Python/Selftest.hs
+++ b/src/Dyna/Backend/Python/Selftest.hs
@@ -70,7 +70,7 @@ mkExample name =
 
 goldens :: TF.Test
 goldens = TF.testGroup "Python Backend End-To-End"
-          $ map mkExample ["simple", "papa2", "matrixops"]
+          $ map mkExample ["simple", "dijkstra", "papa2", "matrixops"]
 
 ------------------------------------------------------------------------}}}
 -- Harness toplevel                                                     {{{
-- 
2.50.1