diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-23 12:19:22 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-23 12:24:57 +0000 |
| commit | 29d010c291558a4199b5116d312f32cad86807e7 (patch) | |
| tree | 63e0385119d2a026f0d1fff720cb55eb97dce125 /.gitignore | |
| parent | 2287eb0d44bedd20484874da06615ace3ce4e2a2 (diff) | |
| download | klee-29d010c291558a4199b5116d312f32cad86807e7.tar.gz | |
[NFC]
Reformat ``getAllIndependentConstraintsSets()`` using clang-format. It was not formatted correctly and was consequently a little hard to read. Also add braces around a for loop body. The original code for this function came from d9bcbba2c94086039c11c86200670639ee2ec19f
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions