NetworkVerification / nv

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

Compiled tests failing #41

Open DKLoehr opened 4 years ago

DKLoehr commented 4 years ago

Running make test results in a bunch of failures when compiled tests are enabled. I don't know enough about the native compiler to know what's going on, but it appears that OCaml is running into a type error during tests involving symbolic variables. I'm commenting out the compiled tests for now.