diff --git a/examples/scala/README b/examples/scala/README index d1b455ad..5eee9d50 100644 --- a/examples/scala/README +++ b/examples/scala/README @@ -8,3 +8,5 @@ make EVALUATOR=STATIC Classic.run make EVALUATOR=STATIC TestCollDriver.run make EVALUATOR=STATIC TestUseCollDriver.run make EVALUATOR=STATIC NestedCyclesDriver.run +make EVALUATOR=STATIC ARGS="nested-ubd.program" NestedUbdDriver.run +make EVALUATOR=STATIC ARGS="nested-ubd.program" NestedUbdFiberDriver.run diff --git a/examples/scala/farrow-ubd-driver.scala b/examples/scala/farrow-ubd-driver.scala index bb055eb6..a4d4683c 100644 --- a/examples/scala/farrow-ubd-driver.scala +++ b/examples/scala/farrow-ubd-driver.scala @@ -16,9 +16,11 @@ object FarrowUbdDriver extends App { val m_farrow_ubd_tree = farrow_ubd_tree; val m_farrow_ubd = new M_FARROW_UBD[m_farrow_ubd_tree.T_Result]("FarrowUbd", m_farrow_ubd_tree.t_Result); - Debug.activate(); + if (args.contains("--debug")) Debug.activate(); m_farrow_ubd_tree.finish(); m_farrow_ubd.finish(); + println("Results:"); + m_farrow_ubd.v_program_errs(m_farrow_ubd.t_Program.nodes(0)).toSeq.sorted.foreach(println); } diff --git a/examples/scala/farrow-ubd-fiber-driver.scala b/examples/scala/farrow-ubd-fiber-driver.scala index 0f29de7f..7a2ca210 100644 --- a/examples/scala/farrow-ubd-fiber-driver.scala +++ b/examples/scala/farrow-ubd-fiber-driver.scala @@ -16,9 +16,11 @@ object FarrowUbdFiberDriver extends App { val m_farrow_ubd_tree = farrow_ubd_tree; val m_farrow_ubd = new M_FARROW_UBD_FIBER[m_farrow_ubd_tree.T_Result]("FarrowUbdFiber", m_farrow_ubd_tree.t_Result); - Debug.activate(); + if (args.contains("--debug")) Debug.activate(); m_farrow_ubd_tree.finish(); m_farrow_ubd.finish(); + println("Results:"); + m_farrow_ubd.v_program_errs(m_farrow_ubd.t_Program.nodes(0)).toSeq.sorted.foreach(println); } diff --git a/examples/scala/nested-ubd-driver.scala b/examples/scala/nested-ubd-driver.scala index cbd62110..182673b7 100644 --- a/examples/scala/nested-ubd-driver.scala +++ b/examples/scala/nested-ubd-driver.scala @@ -16,10 +16,11 @@ object NestedUbdDriver extends App { val m_nested_ubd_tree = nested_ubd_tree; val m_nested_ubd = new M_NESTED_UBD[m_nested_ubd_tree.T_Result]("NestedUbd", m_nested_ubd_tree.t_Result); - Debug.activate(); + if (args.contains("--debug")) Debug.activate(); m_nested_ubd_tree.finish(); m_nested_ubd.finish(); - println(m_nested_ubd.v_program_errs(m_nested_ubd.t_Program.nodes(0))); + println("Results:"); + m_nested_ubd.v_program_errs(m_nested_ubd.t_Program.nodes(0)).toSeq.sorted.foreach(println); } diff --git a/examples/scala/nested-ubd-fiber-driver.scala b/examples/scala/nested-ubd-fiber-driver.scala index 41d7c5ff..6063fda8 100644 --- a/examples/scala/nested-ubd-fiber-driver.scala +++ b/examples/scala/nested-ubd-fiber-driver.scala @@ -16,10 +16,11 @@ object NestedUbdFiberDriver extends App { val m_nested_ubd_tree = nested_ubd_tree; val m_nested_ubd = new M_NESTED_UBD_FIBER[m_nested_ubd_tree.T_Result]("NestedUbdFiber", m_nested_ubd_tree.t_Result); - Debug.activate(); + if (args.contains("--debug")) Debug.activate(); m_nested_ubd_tree.finish(); m_nested_ubd.finish(); - println(m_nested_ubd.v_messages); + println("Results:"); + m_nested_ubd.v_messages.toSeq.sorted.foreach(println); }