diff options
author | Jannis Harder <me@jix.one> | 2022-08-05 13:21:59 +0200 |
---|---|---|
committer | Jannis Harder <me@jix.one> | 2022-08-05 13:21:59 +0200 |
commit | 8c923ad4929870d4e819b84f62c7f9177b0d0d17 (patch) | |
tree | 91fa21d26aa013d43a8e40fd8a87990660c581f6 /src/map/scl/sclLiberty.c | |
parent | 7cc11f7f0c49d4ce7e0ed88950d1c4c8abb1cba4 (diff) | |
download | abc-8c923ad4929870d4e819b84f62c7f9177b0d0d17.tar.gz abc-8c923ad4929870d4e819b84f62c7f9177b0d0d17.tar.bz2 abc-8c923ad4929870d4e819b84f62c7f9177b0d0d17.zip |
Add '-p' option to 'constr' to allow fully removing constraints
Invoking 'constr -r' converts constraints into POs but does not fully
remove them. Now 'constr -pr' can be used to completely remove them,
leaving the set of non-constraint POs unchanged.
Diffstat (limited to 'src/map/scl/sclLiberty.c')
0 files changed, 0 insertions, 0 deletions