netarch / neo

A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism

Other

8 stars 4 forks source link

Ability to install updates non-deterministically #7

Closed santhoshmprabhu closed 3 years ago

santhoshmprabhu commented 4 years ago

Preliminary support for openflow. @kyechou I haven't managed to test this out yet, having some issues on my current work machine (lost my old one).

codecov[bot] commented 4 years ago

Codecov Report

Merging #7 into master will decrease coverage by 0.56%. The diff coverage is 4.72%.

@@            Coverage Diff             @@
##           master       #7      +/-   ##
==========================================
- Coverage   17.86%   17.29%   -0.56%     
==========================================
  Files          68       70       +2     
  Lines        2957     3082     +125     
==========================================
+ Hits          528      533       +5     
- Misses       2426     2545     +119     
- Partials        3        4       +1