search

NetworkVerification / nv

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

Bitwise mask #52

Closed nickgian closed 4 years ago

nickgian commented 4 years ago

Adds an extra operator to do bitwise and operations. Only works with integers of same size.