To translate a P4 program to SEFL from its json file:
python src/P4_to_SEFL.py <filename>.json
To translate a P4 program to a C model to be executed by klee from its json file:
python src/P4_to_C.py <filename>.json
The json representations are obtained from the bmv2 backend of the p4c compiler. To generate a json file, you need to build p4c and run:
p4c/build/p4c-bm2-ss <input-filename>.p4 --toJSON <output-filename>.json