COS 516 Fall 22 Pset 6 Test Output

test1.sil.constant

{x -> top,flag -> top}
x = 0
{x -> 0,flag -> top}
flag = 1
{x -> 0,flag -> 1}
while x < 0:
    {Bottom}
    if flag == 1:
        {Bottom}
        x = (x + 1)
    else:
        {Bottom}
        flag = (flag + 1)
{x -> 0,flag -> 1}

test1.sil.sign

{x -> top,flag -> top}
x = 0
{x -> 0,flag -> top}
flag = 1
{x -> top,flag -> pos}
while x < 0:
    {x -> top,flag -> pos}
    if flag == 1:
        {x -> top,flag -> pos}
        x = (x + 1)
    else:
        {x -> top,flag -> pos}
        flag = (flag + 1)
{x -> top,flag -> pos}

test2.sil.constant

{y -> top,x -> top}
x = ((y + -(y)) + 1)
{y -> top,x -> 1}
if y < 0:
    {y -> top,x -> 1}
    x = (x + x)
else:
    {y -> top,x -> 1}
    x = 2
{y -> top,x -> 2}
y = x
{y -> 2,x -> 2}
print(y)
{y -> 2,x -> 2}
y = (y + 1)
{y -> 3,x -> 2}

test2.sil.sign

{y -> top,x -> top}
x = ((y + -(y)) + 1)
{y -> top,x -> top}
if y < 0:
    {y -> top,x -> top}
    x = (x + x)
else:
    {y -> top,x -> top}
    x = 2
{y -> top,x -> top}
y = x
{y -> top,x -> top}
print(y)
{y -> top,x -> top}
y = (y + 1)
{y -> top,x -> top}

test3.sil.constant

{y -> top,x -> top}
x = 0
{y -> top,x -> 0}
y = 0
{y -> 0,x -> top}
while x < 100:
    {y -> 0,x -> top}
    if (x < y or y < x):
        {y -> 0,x -> top}
        x = (x + 1)
    else:
        {y -> 0,x -> 0}
        y = (y + x)
    {y -> 0,x -> top}
    x = (x + 1)
{y -> 0,x -> top}

test3.sil.sign

{y -> top,x -> top}
x = 0
{y -> top,x -> 0}
y = 0
{y -> top,x -> top}
while x < 100:
    {y -> top,x -> top}
    if (x < y or y < x):
        {y -> top,x -> top}
        x = (x + 1)
    else:
        {y -> top,x -> top}
        y = (y + x)
    {y -> top,x -> top}
    x = (x + 1)
{y -> top,x -> top}