diff options
| author | Kathy Gray | 2014-12-18 14:55:29 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-12-18 14:55:29 +0000 |
| commit | f8a9785b1f4f94c182bc50fed69914c436deaf83 (patch) | |
| tree | 9e60efd7f7dc067e256dc656d9957f48f30eddde /src/elf_model/libraries | |
| parent | 178a6229cd225c3566468c6ea7bf9d6cb05f668d (diff) | |
Add negative literals such as -1. WARNING may not generate valid lem in the presence of negative literals
Diffstat (limited to 'src/elf_model/libraries')
0 files changed, 0 insertions, 0 deletions