search

marwern / PLCreX

Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers
https://plcrex.readthedocs.io
GNU General Public License v3.0
54 stars 7 forks source link

FBD2ST Bug, (formal, backward) #25

Closed marwern closed 1 year ago

marwern commented 1 year ago

Bug in FBD-to-ST Transpiler. Arguments "formal", "backward" throw unexpected lines of code.