search

NetworkVerification / nv

A Framework for Modeling and Analyzing Network Configurations
MIT License
31 stars 2 forks source link

Using special values in combine causes simulation not to terminate #34

Open nickgian opened 4 years ago

nickgian commented 4 years ago

When I use the special values for combine simulation of vendor-configurations never terminates.

let merge node x y = combine mergeValues x y
                              (Some ({connected=None; static=None; ospf=None; bgp=None; selected=None})) None
                              (Some ({connected=None; static=None; ospf=None; bgp=None; selected=None})) None

Maybe I am using the wrong values here or there is some bug in our implementation.