summaryrefslogtreecommitdiff
path: root/prolog/util.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-28 19:47:30 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-28 19:47:30 +0100
commit8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615 (patch)
tree94b1a7f5e43d5f82004c3b07d1f504f0ee2e2ef4 /prolog/util.py
parent441bca2319f66a7fd79f350e45fdc5f018e9f2e7 (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 'prolog/util.py')
0 files changed, 0 insertions, 0 deletions