Test solve_in_exp_time_with_correctness for the special case

ajfAfg · Jan 3, 2024 · 933fbe7 · 933fbe7
1 parent 4252721
commit 933fbe7
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/test/prop_all_local_minimum_vertex_splitters_solver.erl b/test/prop_all_local_minimum_vertex_splitters_solver.erl
@@ -86,3 +86,19 @@ prop_solve_in_exp_time_with_correctness3() ->
                           end,
                           all_local_minimum_vertex_splitters_solver:solve_in_exp_time_with_correctness(ConnectedDAG))
             end).
+
+prop_solve_in_exp_time_with_correctness4(doc) ->
+    "The return value equals the vertices of the argument graph if only one entrance vertex".
+
+prop_solve_in_exp_time_with_correctness4() ->
+    ?FORALL(ConnectedDAG,
+            dependency_connected_dag(),
+            begin
+                ?IMPLIES(length([V
+                                 || V <- digraph:vertices(ConnectedDAG),
+                                    digraph:in_degree(ConnectedDAG, V) =:= 0])
+                         =:= 1,
+                         lists:sort(
+                             digraph:vertices(ConnectedDAG))
+                         =:= lists:sort(hd(all_local_minimum_vertex_splitters_solver:solve_in_exp_time_with_correctness(ConnectedDAG))))
+            end).