a question about p4c-bm2-ss which be used in assert-p4

[libinnnn]

Because the p4c-bm2-ss tool is currently used, is assert-p4 only able to detect p4 code based on the bmv2 model? Because my current p4 code is based on the tofino model, it cannot be converted by the p4c-bm2-ss tool model

[LucasMFreire]

Hi @libinnnn , I have not tested the tool with the tofino model.