Skip to content

Draft: New option -f for array fans

Salih Ates requested to merge btor2c-array-encoding/btor2c:main into main

New option -f added to Btor2C to print out all array variables together with the information whether or not a copy of a variable would be necessary in the corresponding C file.

Merge request reports