lenses/tests/test_sysconfig_route.aug

   1 (*
   2 Module: Test_Sysconfig_Route
   3   Provides unit tests and examples for the <Sysconfig_Route> lens.
   4 *)
   5 module Test_sysconfig_route =
   6
   7 (* Test: Sysconfig_Route.lns *)
   8 test Sysconfig_Route.lns get "10.40.11.102/32 via 10.40.8.1\n10.1.8.0/24 via 10.40.8.254\n" =
   9 { "10.40.8.1" = "10.40.11.102/32" }
  10 { "10.40.8.254" = "10.1.8.0/24" }
  11
  12 (* Test: Sysconfig_Route.lns *)
  13 test Sysconfig_Route.lns get "10.40.11.102/32 via 10.40.8.1\n10.1.8.0/24 via 10.40.8.1\n" =
  14 { "10.40.8.1" = "10.40.11.102/32" }
  15 { "10.40.8.1" = "10.1.8.0/24" }