diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-09 03:31:50 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-09 03:31:50 +0000 |
commit | 9f74cfbd847663f80c362cf06bda7e749f0f694b (patch) | |
tree | c34f9ac44e1ae31e3be6984324915a3b18faae76 /src/theory | |
parent | 8a0c0562cb8d0e26ea019ff782b25c1997a49a0b (diff) |
Fixing the debug tags generation and related methods in configuration.cpp that disallowed me to debug my bugs by reporting that the debug tag doesn't exists, where in fact it was in the code.
1) The grep and sed for tags wasn't picking up on .isOn("tag")
2) The isDebugTag a) didn't take a parameter b) was using binary search using strcmp which is non-portable and didn't work for tags including special characters
Morgan should vet this, since there is some crazy sed stuff going on
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions