projects
/
testub10.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
[gesamt] Added and adopted Testcases from SS09
[testub10.git]
/
gesamt
/
codea_snafu_04.call
1
long pvs1(long, long, long);
2
long pvs2(long, long, long);
3
long pvs3(long, long, long);
4
long pvs4(long, long, long);
5
6
7
RET((pvs1(2,3,5) == -5) && (pvs2(2,3,5) == -13) && (pvs3(2,3,5) == 1) && (pvs4(2,3,5) == -4));