From d07979218ea80c58e64148d9638ed3e6195ff6ed Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Wed, 20 May 2020 01:21:51 +1000 Subject: Initial unit tests --- test/graph_tests.ads | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 test/graph_tests.ads (limited to 'test/graph_tests.ads') diff --git a/test/graph_tests.ads b/test/graph_tests.ads new file mode 100644 index 0000000..18ea321 --- /dev/null +++ b/test/graph_tests.ads @@ -0,0 +1,30 @@ + + +with + + Ada.Strings.Unbounded, + Directed_Graphs; + + +package Graph_Tests is + + + package SU renames Ada.Strings.Unbounded; + + + type Node_ID is new Positive; + type Edge_ID is new Positive; + type Node_Label is new SU.Unbounded_String; + type Edge_Label is new SU.Unbounded_String; + + + package Graphs is new Directed_Graphs + (Node_ID_Type => Node_ID, + Edge_ID_Type => Edge_ID, + Node_Label_Type => Node_Label, + Edge_Label_Type => Edge_Label); + + +end Graph_Tests; + + -- cgit