Open Z-Gu opened 6 years ago
Will be (partly) addressed in branch for #341.
outputFilePath
will be used when we take a --output
flag, to specify the output file (e.g., binary). All the backends (e.g., SMT, dot, dimensional matrix, etc) should be using this.
progtypeOfFile
renamed to moduleOfFile
as part of an earlier cleanup (#318 ?).