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

add equivalence and test case generator #26

Closed marwern closed 1 year ago

marwern commented 1 year ago

add equivalence and test case generator