diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-28 19:47:30 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-28 19:47:30 +0100 |
| commit | 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615 (patch) | |
| tree | 94b1a7f5e43d5f82004c3b07d1f504f0ee2e2ef4 /python/util.py | |
| parent | 441bca2319f66a7fd79f350e45fdc5f018e9f2e7 (diff) | |
Experiment: prolog_hints
Given an experiment object read from codeq_user in the form
{'id': 'prolog_hints', 'group': 'manual_hints'}
selectively enable only manual hints, automatic hints, or no hints.
This should probably be reverted once the experiment is done.
Diffstat (limited to 'python/util.py')
0 files changed, 0 insertions, 0 deletions