index
:
platform/upstream/isl
accepted/tizen/ivi/genivi
accepted/tizen/ivi/stable
accepted/tizen_3.0.2014.q3_common
accepted/tizen_3.0.m14.3_ivi
accepted/tizen_3.0_ivi
accepted/tizen_base
accepted/tizen_common
accepted/tizen_generic
accepted/tizen_ivi
accepted/tizen_mobile
accepted/tizen_tv
accepted/tizen_wearable
master
sandbox/dongkyun.s/static
sandbox/dongkyun.s/tizen_base
tizen
tizen_3.0.2014.q3_common
tizen_3.0.2014.q4_common
tizen_3.0.2015.q1_common
tizen_3.0.2015.q2_common
tizen_3.0.m14.2_ivi
tizen_3.0.m14.3_ivi
tizen_3.0.m1_mobile
tizen_3.0.m1_tv
tizen_3.0_ivi
tizen_base
tizen_ivi_genivi
upstream
Domain: System / Uncategorized;
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test_inputs
/
neg.pwqp
blob: 596a7d77d091c659204944c0c72c5f1ae2f5cbf7 (
plain
)
1
[n] -> { [i0] -> i0^2 : i0 >= -20 - n and i0 <= n and i0 <= -1 and n >= 0 }