gazagnaire.org / space-net
APID-based virtual switch for SpaceOS inter-guest routing
fork atom
space-net / test / test_switch.mli
at main 4 lines 126 B view raw
1(** Switch module tests. *) 2 3val suite : string * unit Alcotest.test_case list 4(** Alcotest suite for {!Space_net.Switch}. *)