search

chipmunk-project / chipmunk

A code generator for packet-processing pipelines based on end-to-end program synthesis
12 stars 5 forks source link

Add smoke test for type conversion functions used in get_z3_formula. #183

Closed anirudhSK closed 5 years ago

anirudhSK commented 5 years ago

This adds a simple smoke test (only verifies that the function doesn't crash) for the bool-to-int and int-to-bool conversion routines used in get_z3_formula.