summaryrefslogtreecommitdiff
path: root/python/common.py
diff options
context:
space:
mode:
authorMartin Možina <martin.mozina@fri.uni-lj.si>2015-10-14 18:08:44 +0200
committerMartin Možina <martin.mozina@fri.uni-lj.si>2015-10-14 18:08:44 +0200
commit531bde7a2fe3d643e9b6ffe690405b6cc07c4964 (patch)
tree9fcdd54ec25cacc32cd5aaacfb731c174278fab8 /python/common.py
parent1b936a961e39b2a71b5a773776474446f0c58447 (diff)
parentb1deb24a05a380450ed9dc77c3155a16bd204dfc (diff)
Merge branch 'master' of 192.168.15.97:codeq-problems
Diffstat (limited to 'python/common.py')
-rw-r--r--python/common.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/python/common.py b/python/common.py
index 2d89c19..bcd0ee3 100644
--- a/python/common.py
+++ b/python/common.py
@@ -16,6 +16,7 @@ hint_type = {
'error': Hint('error'),
'eof_error': Hint('eof_error'),
'timed_out': Hint('timed_out'),
+ 'sandbox_violation': Hint('sandbox_violation'),
'problematic_test_case': Hint('problematic_test_case'),
'no_func_name': Hint('no_func_name')
}