Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers
GNU General Public License v3.0
54
stars
7
forks
source link
Bug in 'Example: TC005_PRG.xml (formal, backward)' #24
Closed
marwern closed 1 year ago
Output O2 is missing