diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-05 18:28:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-05 18:28:51 -0700 |
| commit | 7bda1d4bfb4f927b04e7b1c03b34eaef5dd88ee8 (patch) | |
| tree | 057e63b16f826122d7be694d34e5f6ab48e2225c /src/opt/sim/simSymSat.c | |
| parent | 617eb759ae67b7fc839322639ab97cc6200e53af (diff) | |
| download | abc-7bda1d4bfb4f927b04e7b1c03b34eaef5dd88ee8.tar.gz abc-7bda1d4bfb4f927b04e7b1c03b34eaef5dd88ee8.tar.bz2 abc-7bda1d4bfb4f927b04e7b1c03b34eaef5dd88ee8.zip | |
Renaming switch '-i' into '-c' in %collapse.
Diffstat (limited to 'src/opt/sim/simSymSat.c')
0 files changed, 0 insertions, 0 deletions