summaryrefslogtreecommitdiff
path: root/scripts/sysvinit/codeq-server
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-10 18:02:28 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-10 18:02:28 +0100
commitb0a64cfb0e2c556aeb22bef25d34b0aa0d9f78b8 (patch)
treedafc948daa5e40dc35c7ade7825bbf0fc2cb838e /scripts/sysvinit/codeq-server
parentfb0928d87e099bfe27c35808731975f52787ae4d (diff)
monkey: modify cutoff for adding candidate programs to the queue
Queue size is not a problem since the switch to AST-based edits.
Diffstat (limited to 'scripts/sysvinit/codeq-server')
0 files changed, 0 insertions, 0 deletions