Add regression tests - Githubissues

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

Open kyechou opened 1 year ago

kyechou commented 1 year ago

To do:

[ ] Allow for "negated" expressions for connection specs (IPs & ports), so that all invariants can be verified as true.
[ ] Add regression tests for examples.