marwern/PLCreX

test-case-gen

marwern opened this issue · 0 comments

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