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

test-case-gen #41

Closed marwern closed 1 year ago

marwern commented 1 year ago

add new features: --full and --no-full to get only one test case; + add constraints