Skip to content

Commit

Permalink
updated the .out files.
Browse files Browse the repository at this point in the history
  • Loading branch information
Dorel Lucanu authored and Dorel Lucanu committed Apr 5, 2015
1 parent 5cad9b5 commit 7dfee22
Show file tree
Hide file tree
Showing 35 changed files with 1,075 additions and 1,075 deletions.
6 changes: 3 additions & 3 deletions arrays/programs/tests/arrasptr.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,6 @@
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
seq-array ( 5 , #symLoc(2) ) |-> store ( store ( store ( store (
store ( const-array ( 5 , 0 ) , 0 , 0 ) , 1 , 2 ) , 2 , 4 ) , 3 , 6
Expand All @@ -41,4 +38,7 @@
#symScalLoc(4) |-> 20
#symScalLoc(5) |-> select ( seq-array ( 5 , #symLoc(2) ) , 5 )
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
8 changes: 4 additions & 4 deletions arrays/programs/tests/callbyval3.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,6 @@
main |-> #symScalLoc(2)
</env>
</control>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
<store>
seq-array ( 4 , #symLoc(3) ) |-> store ( store ( const-array ( 4 ,
0 ) , 1 , 3 ) , 2 , 3 )
Expand All @@ -40,4 +36,8 @@
#symScalLoc(4) |-> 3
#symScalLoc(5) |-> 5
</store>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
</T>
6 changes: 3 additions & 3 deletions arrays/programs/tests/matrix.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,6 @@
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
seq-array ( 2 , #symLoc(2) ) |-> array of 2 array of 3 int
select ( seq-array ( 2 , #symLoc(2) ) , 1 ) |-> store ( const-array (
Expand All @@ -36,4 +33,7 @@
]) = 7) ; ((cout << ((a [ 1 ]) [ 2 ])) << (endl)) ; return 0 ; )

</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions arrays/programs/tests/matrix3d.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,9 +26,6 @@ a[0][1][3] = 8
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
seq-array ( 2 , #symLoc(2) ) |-> array of 2 array of 3 array of 4
int
Expand All @@ -45,4 +42,7 @@ a[0][1][3] = 8
(endl)) << "a[0][1][3] = ") ; (cin >> (((a [ 0 ]) [ 1 ]) [ 3 ])) ; (
(cout << (((a [ 0 ]) [ 1 ]) [ 3 ])) << (endl)) ; return 0 ; )
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions arrays/unidimensional/programs/tests/arrasptr1.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,9 +24,6 @@ i = a[i] = <T>
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
seq-array ( 5 , #symLoc(2) ) |-> store ( store ( const-array ( 5 ,
0 ) , 2 , 5 ) , 3 , 4 )
Expand All @@ -37,4 +34,7 @@ i = a[i] = <T>
#symScalLoc(3) |-> select ( seq-array ( 5 , #symLoc(2) ) , 3 )
#symScalLoc(4) |-> 2
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions arrays/unidimensional/programs/tests/arruni1.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,9 +24,6 @@ a[5] = 1;1;3<T>
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
seq-array ( 5 , #symLoc(2) ) |-> store ( store ( store (
const-array ( 5 , 0 ) , 0 , 1 ) , 3 , 1 ) , 5 , 3 )
Expand All @@ -35,4 +32,7 @@ a[5] = 1;1;3<T>
(cout << (a [ 0 ])) << ";") << (a [ 3 ])) << ";") << (a [ 5 ])) ; )

</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
8 changes: 4 additions & 4 deletions arrays/unidimensional/programs/tests/callbyval1.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,6 @@
main |-> #symScalLoc(2)
</env>
</control>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
<store>
seq-array ( 7 , #symLoc(3) ) |-> store ( const-array ( 7 , 0 ) , 3
, 5 )
Expand All @@ -39,4 +35,8 @@
#symScalLoc(4) |-> 3
#symScalLoc(5) |-> 5
</store>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
</T>
8 changes: 4 additions & 4 deletions arrays/unidimensional/programs/tests/callbyval2.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,6 @@
main |-> #symScalLoc(2)
</env>
</control>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
<store>
seq-array ( 7 , #symLoc(3) ) |-> store ( const-array ( 7 , 0 ) , 3
, 5 )
Expand All @@ -40,4 +36,8 @@
#symScalLoc(5) |-> 5
#symScalLoc(6) |-> select ( seq-array ( 7 , #symLoc(3) ) , 3 )
</store>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/assign.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,14 +25,14 @@
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int x ; int y ; int z ; ((cout << (
(x = 2) + (y = (z = 3)))) << (endl)) ; return 0 ; )
#symScalLoc(2) |-> 2
#symScalLoc(3) |-> 3
#symScalLoc(4) |-> 3
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/bool.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,6 @@ true
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int a ; (a = 1) ; int b ; (b = 2) ;
int c ; (c = 3) ; if ( (((a < 2) && (b > 1)) || (c > 4)) ) (cout <<
Expand All @@ -36,4 +33,7 @@ true
#symScalLoc(3) |-> 2
#symScalLoc(4) |-> 3
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/boolv.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,14 +25,14 @@ x = false
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ bool b ; int x ; (cout << "x = ") ;
(cin >> x) ; (b = (x > 5)) ; if ( b ) (cout << "true") ; else (cout
<< "false") ; (cout << (endl)) ; return 0 ; )
#symScalLoc(2) |-> false
#symScalLoc(3) |-> 3
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
8 changes: 4 additions & 4 deletions basic/programs/tests/callbyval1.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,6 @@
main |-> #symScalLoc(2)
</env>
</control>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
<store>
#symScalLoc(1) |-> lambda ( int x @ int y ; (y = 2) ; return ((x *
y) + 1) ; )
Expand All @@ -39,4 +35,8 @@
#symScalLoc(4) |-> 3
#symScalLoc(5) |-> 2
</store>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
</T>
8 changes: 4 additions & 4 deletions basic/programs/tests/callbyval2.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,6 @@
main |-> #symScalLoc(2)
</env>
</control>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
<store>
#symScalLoc(1) |-> lambda ( int x, bool b @ if ( b ) return (x * 2
) ; else { } return (x * 3) ; )
Expand All @@ -37,4 +33,8 @@
#symScalLoc(3) |-> 5
#symScalLoc(4) |-> false
</store>
<genv>
f |-> #symScalLoc(1)
main |-> #symScalLoc(2)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/comma1.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,9 +24,6 @@
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int i ; (i = 10) ; int b ; (b = 20)
; int c ; (c = 30) ; ((i = b) , c) ; (cout << i) ; (i = (b , c)) ;
Expand All @@ -35,4 +32,7 @@
#symScalLoc(3) |-> 20
#symScalLoc(4) |-> 30
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/comma2.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,9 +31,6 @@ a=5, b=2, c=3, i=3
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int a ; (a = 1) ; int b ; (b = 2) ;
int c ; (c = 3) ; int i ; (i = 0) ; (((((((((cout << "a=") << a) <<
Expand All @@ -54,4 +51,7 @@ a=5, b=2, c=3, i=3
#symScalLoc(4) |-> 3
#symScalLoc(5) |-> 3
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/comma3.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,13 +24,13 @@
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int i ; int j ; (j = 10) ; (i = ((j
= (j + 1)) , ((j + 100) , (999 + j)))) ; (cout << i) ; return 0 ; )
#symScalLoc(2) |-> 1010
#symScalLoc(3) |-> 11
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/comma4.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,9 +26,6 @@ x=6, y=12
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int x ; (x = 5) ; int y ; (y = 7) ;
(((((cout << "x=") << x) << ", y=") << y) << (endl)) ; (((x = (x +
Expand All @@ -37,4 +34,7 @@ x=6, y=12
#symScalLoc(2) |-> 6
#symScalLoc(3) |-> 12
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/cout.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,12 +25,12 @@
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int a ; (a = 8) ; ((cout << a) << (
endl)) ; )
#symScalLoc(2) |-> 8
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/doubleprefop.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,14 +25,14 @@ x = 10 5
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int z ; int x ; (x = 0) ; (cout <<
"x = ") ; (cin >> (++ x)) ; (z = ((++ (++ (++ x))) * 2)) ; ((((cout
<< z) << " ") << x) << (endl)) ; return 0 ; )
#symScalLoc(2) |-> 10
#symScalLoc(3) |-> 5
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/empty.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,9 +24,6 @@ Hello World!<T>
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ '.Exps(.KList) ; '.Exps(.KList) ;
'.Exps(.KList) ; '.Exps(.KList) ; '.Exps(.KList) ; '.Exps(.KList) ;
Expand Down Expand Up @@ -62,4 +59,7 @@ Hello World!<T>
.KList) ; '.Exps(.KList) ; '.Exps(.KList) ; '.Exps(.KList) ; '.Exps(
.KList) ; '.Exps(.KList) ; '.Exps(.KList) ; )
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
6 changes: 3 additions & 3 deletions basic/programs/tests/io1.cink.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,14 +25,14 @@ x, y = 45
main |-> #symScalLoc(1)
</env>
</control>
<genv>
main |-> #symScalLoc(1)
</genv>
<store>
#symScalLoc(1) |-> lambda ( @ int x ; int y ; (((cout << "x") <<
", y") << " = ") ; ((cin >> x) >> y) ; (((cout << x) << y) << (endl)
) ; return 0 ; )
#symScalLoc(2) |-> 4
#symScalLoc(3) |-> 5
</store>
<genv>
main |-> #symScalLoc(1)
</genv>
</T>
Loading

0 comments on commit 7dfee22

Please sign in to comment.