Proofs

A proof is a series of claims that lead to a conclusion. Some proofs are conditional, which means that the claims can only be made under certain conditions. Click on a statement to see the proof

Do Stack At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
stack at time 6 = [ ]

then stack at time 7 = [ ]

Do Object Store At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Python Object Store at time 6 = [ ]

then Python Object Store at time 7 = [ ]

Do in Block At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Control Map at time 6 = [ ]

then Control Map at time 7 = [ ]

Do Variables At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Variables Map at time 6 = [ ]

then Variables Map at time 7 = [ ]

Do Class Defs At Unchanged 6

if the following are true:

expression state at time 6 = "begin_expr"
Class Map at time 6 = [ ]

then Class Map at time 7 = [ ]

Get New State 7

if expression state at time 7 = "return", then expression state at time 8 = "iterate_args"

Get Return Value 7

if the following are true:

expression state at time 7 = "return"
Value Stack at time 7 = [ [ 1, [ ] ], [ ] ]
Return Value at time 7 = 3

then Value Stack at time 8 = [ [ 3, [ 1, [ ] ] ], [ ] ]

Do Variables At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Variables Map at time 7 = [ ]

then Variables Map at time 8 = [ ]

Do Line At Unchanged 7

if the following are true:

expression state at time 7 = "return"
the line at time 7 = 1

then the line at time 8 = 1

Do Tab At Unchanged 7

if the following are true:

expression state at time 7 = "return"
the tab at time 7 = 0

then the tab at time 8 = 0

Do Arg Stack At Unchanged 7

if the following are true:

expression state at time 7 = "return"
arguments stack at time 7 = [ [ ], [ ] ]

then arguments stack at time 8 = [ [ ], [ ] ]

Do Parent Stack At Unchanged 7

if the following are true:

expression state at time 7 = "return"
parent stack at time 7 = [ __eq__(1, 3), [ ] ]

then parent stack at time 8 = [ __eq__(1, 3), [ ] ]

Do Stack At Unchanged 7

if the following are true:

expression state at time 7 = "return"
stack at time 7 = [ ]

then stack at time 8 = [ ]

Do Class Defs At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Class Map at time 7 = [ ]

then Class Map at time 8 = [ ]

Do Object Store At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Python Object Store at time 7 = [ ]

then Python Object Store at time 8 = [ ]

Do in Block At Unchanged 7

if the following are true:

expression state at time 7 = "return"
Control Map at time 7 = [ ]

then Control Map at time 8 = [ ]

Get Iterate End State 8

if the following are true:

expression state at time 8 = "iterate_args"
arguments stack at time 8 = [ [ ], [ ] ]
parent stack at time 8 = [ __eq__(1, 3), [ ] ]

then expression state at time 9 = "call_function_begin"

Get Iterate End Expr 8

if the following are true:

expression state at time 8 = "iterate_args"
arguments stack at time 8 = [ [ ], [ ] ]
parent stack at time 8 = [ __eq__(1, 3), [ ] ]

then the expression at time 9 = __eq__(1, 3)

Get Iterate End Parent 8

if the following are true:

expression state at time 8 = "iterate_args"
arguments stack at time 8 = [ [ ], [ ] ]
parent stack at time 8 = [ __eq__(1, 3), [ ] ]

then parent stack at time 9 = [ ]

Get Iterate End Params 8

if the following are true:

expression state at time 8 = "iterate_args"
arguments stack at time 8 = [ [ ], [ ] ]
parent stack at time 8 = [ __eq__(1, 3), [ ] ]

then arguments stack at time 9 = [ ]

Do Value Stack At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Value Stack at time 8 = [ [ 3, [ 1, [ ] ] ], [ ] ]

then Value Stack at time 9 = [ [ 3, [ 1, [ ] ] ], [ ] ]

Do Line At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
the line at time 8 = 1

then the line at time 9 = 1

Do Tab At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
the tab at time 8 = 0

then the tab at time 9 = 0

Do Stack At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
stack at time 8 = [ ]

then stack at time 9 = [ ]

Do Object Store At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Python Object Store at time 8 = [ ]

then Python Object Store at time 9 = [ ]

Do in Block At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Control Map at time 8 = [ ]

then Control Map at time 9 = [ ]

Do Variables At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Variables Map at time 8 = [ ]

then Variables Map at time 9 = [ ]

Do Class Defs At Unchanged 8

if the following are true:

expression state at time 8 = "iterate_args"
Class Map at time 8 = [ ]

then Class Map at time 9 = [ ]

Do Object Store At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
the expression at time 9 = __eq__(1, 3)
Python Object Store at time 9 = [ ]

then Python Object Store at time 10 = [ ]

Write Call Function Begin Equal Return Val9

if the following are true:

expression state at time 9 = "call_function_begin"
Value Stack at time 9 = [ [ 3, [ 1, [ ] ] ], [ ] ]
the expression at time 9 = __eq__(1, 3)

then Return Value at time 10 = False

Write Call Function Begin Next State 9

if the following are true:

expression state at time 9 = "call_function_begin"
parent stack at time 9 = [ ]
the expression at time 9 = __eq__(1, 3)

then expression state at time 10 = "end_expr"

Write Call Function Begin Value Stack 9

if the following are true:

expression state at time 9 = "call_function_begin"
Value Stack at time 9 = [ [ 3, [ 1, [ ] ] ], [ ] ]
the expression at time 9 = __eq__(1, 3)

then Value Stack at time 10 = [ ]

Do Arg Stack At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
arguments stack at time 9 = [ ]

then arguments stack at time 10 = [ ]

Do Parent Stack At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
parent stack at time 9 = [ ]

then parent stack at time 10 = [ ]

Do in Block At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
Control Map at time 9 = [ ]

then Control Map at time 10 = [ ]

Do Variables At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
Variables Map at time 9 = [ ]

then Variables Map at time 10 = [ ]

Do Line At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
the line at time 9 = 1

then the line at time 10 = 1

Do Tab At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
the tab at time 9 = 0

then the tab at time 10 = 0

Do Stack At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
stack at time 9 = [ ]

then stack at time 10 = [ ]

Do Class Defs At Unchanged 9

if the following are true:

expression state at time 9 = "call_function_begin"
Class Map at time 9 = [ ]

then Class Map at time 10 = [ ]

Write End to Not Expr 10

if expression state at time 10 = "end_expr", then expression state at time 11 = "not_expr"

Write Test Call End Line10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 10 = "end_expr"
Return Value at time 10 = False

then the line at time 11 = 2

Write Test Call End False Tab10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 10 = "end_expr"
Return Value at time 10 = False

then the tab at time 11 = 0

Write Stmt Stack At Unchanged 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
stack at time 10 = [ ]

then stack at time 11 = [ ]

Write Stmt Variables At Unchanged 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
Variables Map at time 10 = [ ]

then Variables Map at time 11 = [ ]

Write Stmt Class Defs At Unchanged 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
Class Map at time 10 = [ ]

then Class Map at time 11 = [ ]

Write Stmt Object Store At Unchanged Expr10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 10 = "end_expr"
Python Object Store at time 10 = [ ]

then Python Object Store at time 11 = [ ]

Write Test Call End in Block 10

if the following are true:

the line at time 10 = 1
the tab at time 10 = 0
statement at line 1, tab 0 = if __eq__(1, 3):
expression state at time 10 = "end_expr"
Return Value at time 10 = False
Control Map at time 10 = [ ]

then Control Map at time 11 = [ pair ("if", False), [ ] ]

Write Skip Line Line 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7

then the line at time 12 = 3

Write Skip Line Tab 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7

then the tab at time 12 = 0

Write Skip Line Variables At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
Variables Map at time 11 = [ ]

then Variables Map at time 12 = [ ]

Write Skip Line Stack At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
stack at time 11 = [ ]

then stack at time 12 = [ ]

Write Skip Line Object Store At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
Python Object Store at time 11 = [ ]

then Python Object Store at time 12 = [ ]

Write Skip Line in Block At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
Control Map at time 11 = [ pair ("if", False), [ ] ]

then Control Map at time 12 = [ pair ("if", False), [ ] ]

Write Skip Line Class Defs At 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7
Class Map at time 11 = [ ]

then Class Map at time 12 = [ ]

Write Skip Line State 11

if the following are true:

the line at time 11 = 2
the tab at time 11 = 0
statement at line 2, tab 1 = a = 7

then expression state at time 12 = "not_expr"

Write Test Call Begin Expr At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Control Map at time 12 = [ pair ("if", False), [ ] ]
expression state at time 12 = "not_expr"

then the expression at time 13 = __eq__(7, 9)

Write Test Call Begin Expr State At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Control Map at time 12 = [ pair ("if", False), [ ] ]
expression state at time 12 = "not_expr"

then expression state at time 13 = "begin_expr"

Write Test Call Begin Line At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Control Map at time 12 = [ pair ("if", False), [ ] ]
expression state at time 12 = "not_expr"

then the line at time 13 = 3

Write Test Call Begin Tab At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Control Map at time 12 = [ pair ("if", False), [ ] ]
expression state at time 12 = "not_expr"

then the tab at time 13 = 0

Write Test Call Begin Value Stack At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Control Map at time 12 = [ pair ("if", False), [ ] ]
expression state at time 12 = "not_expr"

then Value Stack at time 13 = [ ]

Write Test Call Begin Parent Stack At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Control Map at time 12 = [ pair ("if", False), [ ] ]
expression state at time 12 = "not_expr"

then parent stack at time 13 = [ ]

Write Test Call Begin Arg Stack At 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Control Map at time 12 = [ pair ("if", False), [ ] ]
expression state at time 12 = "not_expr"

then arguments stack at time 13 = [ ]

Write Stmt Object Store At Unchanged Expr12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
expression state at time 12 = "not_expr"
Python Object Store at time 12 = [ ]

then Python Object Store at time 13 = [ ]

Write Stmt in Block At Unchanged Expr12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
expression state at time 12 = "not_expr"
Control Map at time 12 = [ pair ("if", False), [ ] ]

then Control Map at time 13 = [ pair ("if", False), [ ] ]

Write Stmt Variables At Unchanged 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Variables Map at time 12 = [ ]

then Variables Map at time 13 = [ ]

Write Stmt Stack At Unchanged 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
stack at time 12 = [ ]

then stack at time 13 = [ ]

Write Stmt Class Defs At Unchanged 12

if the following are true:

the line at time 12 = 3
the tab at time 12 = 0
statement at line 3, tab 0 = elif __eq__(7, 9):
Class Map at time 12 = [ ]

then Class Map at time 13 = [ ]

Get Begin Expr Value 13

if the following are true:

expression state at time 13 = "begin_expr"
the expression at time 13 = __eq__(7, 9)
Value Stack at time 13 = [ ]

then Value Stack at time 14 = [ [ ], [ ] ]

Get Begin Expr Parent 13

if the following are true:

expression state at time 13 = "begin_expr"
the expression at time 13 = __eq__(7, 9)
parent stack at time 13 = [ ]

then parent stack at time 14 = [ __eq__(7, 9), [ ] ]

Get Begin Expr Params 13

if the following are true:

expression state at time 13 = "begin_expr"
the expression at time 13 = __eq__(7, 9)
arguments stack at time 13 = [ ]

then arguments stack at time 14 = [ [ 7, [ 9, [ ] ] ], [ ] ]

Get Begin Expr Call State 13

if the following are true:

expression state at time 13 = "begin_expr"
the expression at time 13 = __eq__(7, 9)

then expression state at time 14 = "iterate_args"

Do Expr At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
the expression at time 13 = __eq__(7, 9)

then the expression at time 14 = __eq__(7, 9)

Do Variables At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
Variables Map at time 13 = [ ]

then Variables Map at time 14 = [ ]

Do Line At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
the line at time 13 = 3

then the line at time 14 = 3

Do Tab At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
the tab at time 13 = 0

then the tab at time 14 = 0

Do Stack At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
stack at time 13 = [ ]

then stack at time 14 = [ ]

Do Object Store At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
Python Object Store at time 13 = [ ]

then Python Object Store at time 14 = [ ]

Do in Block At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
Control Map at time 13 = [ pair ("if", False), [ ] ]

then Control Map at time 14 = [ pair ("if", False), [ ] ]

Do Class Defs At Unchanged 13

if the following are true:

expression state at time 13 = "begin_expr"
Class Map at time 13 = [ ]

then Class Map at time 14 = [ ]

Get Iterate Expr 14

if the following are true:

expression state at time 14 = "iterate_args"
arguments stack at time 14 = [ [ 7, [ 9, [ ] ] ], [ ] ]

then the expression at time 15 = 7

Get Iterate Params 14

if the following are true:

expression state at time 14 = "iterate_args"
arguments stack at time 14 = [ [ 7, [ 9, [ ] ] ], [ ] ]

then arguments stack at time 15 = [ [ 9, [ ] ], [ ] ]

Get Iterate State 14

if the following are true:

expression state at time 14 = "iterate_args"
arguments stack at time 14 = [ [ 7, [ 9, [ ] ] ], [ ] ]

then expression state at time 15 = "begin_expr"

Get Iterate Parent 14

if the following are true:

expression state at time 14 = "iterate_args"
arguments stack at time 14 = [ [ 7, [ 9, [ ] ] ], [ ] ]
parent stack at time 14 = [ __eq__(7, 9), [ ] ]

then parent stack at time 15 = [ __eq__(7, 9), [ ] ]

Do Value Stack At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
Value Stack at time 14 = [ [ ], [ ] ]

then Value Stack at time 15 = [ [ ], [ ] ]

Do Line At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
the line at time 14 = 3

then the line at time 15 = 3

Do Tab At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
the tab at time 14 = 0

then the tab at time 15 = 0

Do Stack At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
stack at time 14 = [ ]

then stack at time 15 = [ ]

Do Object Store At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
Python Object Store at time 14 = [ ]

then Python Object Store at time 15 = [ ]

Do in Block At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
Control Map at time 14 = [ pair ("if", False), [ ] ]

then Control Map at time 15 = [ pair ("if", False), [ ] ]

Do Variables At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
Variables Map at time 14 = [ ]

then Variables Map at time 15 = [ ]

Do Class Defs At Unchanged 14

if the following are true:

expression state at time 14 = "iterate_args"
Class Map at time 14 = [ ]

then Class Map at time 15 = [ ]

Get Begin Expr State 15

if the following are true:

the expression at time 15 = 7
expression state at time 15 = "begin_expr"
7 is constant
parent stack at time 15 = [ __eq__(7, 9), [ ] ]

then expression state at time 16 = "return"

Get Begin Expr Value Unchaged 15

if the following are true:

the expression at time 15 = 7
expression state at time 15 = "begin_expr"
7 is constant
Value Stack at time 15 = [ [ ], [ ] ]

then Value Stack at time 16 = [ [ ], [ ] ]

Get Begin Expr Params Unchanged15

if the following are true:

the expression at time 15 = 7
expression state at time 15 = "begin_expr"
7 is constant
arguments stack at time 15 = [ [ 9, [ ] ], [ ] ]

then arguments stack at time 16 = [ [ 9, [ ] ], [ ] ]

Get Begin Expr Return 15

if the following are true:

expression state at time 15 = "begin_expr"
the expression at time 15 = 7
7 is constant

then Return Value at time 16 = 7

Get Begin Expr Const Parent 15

if the following are true:

expression state at time 15 = "begin_expr"
the expression at time 15 = 7
7 is constant
parent stack at time 15 = [ __eq__(7, 9), [ ] ]

then parent stack at time 16 = [ __eq__(7, 9), [ ] ]

Do Line At Unchanged 15

if the following are true:

expression state at time 15 = "begin_expr"
the line at time 15 = 3

then the line at time 16 = 3

Do Tab At Unchanged 15

if the following are true:

expression state at time 15 = "begin_expr"
the tab at time 15 = 0

then the tab at time 16 = 0

Do Stack At Unchanged 15

if the following are true:

expression state at time 15 = "begin_expr"
stack at time 15 = [ ]

then stack at time 16 = [ ]

Pages: 115 116 117 ... 127