Skip to content

Commit

Permalink
Update TEST.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@702fbtngus
702fbtngus committed Sep 20, 2024
1 parent 86858d5 commit 09774e0
Showing 1 changed file with 30 additions and 30 deletions.
60 changes: 30 additions & 30 deletions spectec/test-prose/TEST.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -815,7 +815,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`t` is on the top of the stack.

#. Pop the value :math:`(t{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{valtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. If :math:`{|{{\mathit{unop}}}{{}_{t}}{(c_1)}|}` is less than or equal to :math:`0`, then:

Expand All @@ -832,7 +832,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`t` is on the top of the stack.

#. Pop the value :math:`(t{.}\mathsf{const}~c_2)` from the stack.
#. Pop the value :math:`({\mathit{valtype}}_0{.}\mathsf{const}~c_2)` from the stack.

#. Assert: Due to validation, a value of value type :math:`{\mathit{valtype}}_0` is on the top of the stack.

Expand All @@ -853,7 +853,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`t` is on the top of the stack.

#. Pop the value :math:`(t{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{valtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. Let :math:`c` be :math:`{{\mathit{testop}}}{{}_{t}}{(c_1)}`.

Expand All @@ -866,7 +866,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`t` is on the top of the stack.

#. Pop the value :math:`(t{.}\mathsf{const}~c_2)` from the stack.
#. Pop the value :math:`({\mathit{valtype}}_0{.}\mathsf{const}~c_2)` from the stack.

#. Assert: Due to validation, a value of value type :math:`{\mathit{valtype}}_0` is on the top of the stack.

Expand All @@ -883,7 +883,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`t_1` is on the top of the stack.

#. Pop the value :math:`(t_1{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{valtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. If :math:`{|{{\mathit{cvtop}}}{{}_{t_1, t_2}}{(c_1)}|}` is less than or equal to :math:`0`, then:

Expand Down Expand Up @@ -3225,15 +3225,15 @@ Step_pure/return

Step_pure/unop t unop
1. Assert: Due to validation, a value of value type t is on the top of the stack.
2. Pop the value (t.CONST c_1) from the stack.
2. Pop the value (valtype_0.CONST c_1) from the stack.
3. If (|$unop_(t, unop, c_1)| ≤ 0), then:
a. Trap.
4. Let c be an element of $unop_(t, unop, c_1).
5. Push the value (t.CONST c) to the stack.

Step_pure/binop t binop
1. Assert: Due to validation, a value of value type t is on the top of the stack.
2. Pop the value (t.CONST c_2) from the stack.
2. Pop the value (valtype_0.CONST c_2) from the stack.
3. Assert: Due to validation, a value of value type valtype_0 is on the top of the stack.
4. Pop the value (valtype_0.CONST c_1) from the stack.
5. If (|$binop_(t, binop, c_1, c_2)| ≤ 0), then:
Expand All @@ -3243,21 +3243,21 @@ Step_pure/binop t binop

Step_pure/testop t testop
1. Assert: Due to validation, a value of value type t is on the top of the stack.
2. Pop the value (t.CONST c_1) from the stack.
2. Pop the value (valtype_0.CONST c_1) from the stack.
3. Let c be $testop_(t, testop, c_1).
4. Push the value (I32.CONST c) to the stack.

Step_pure/relop t relop
1. Assert: Due to validation, a value of value type t is on the top of the stack.
2. Pop the value (t.CONST c_2) from the stack.
2. Pop the value (valtype_0.CONST c_2) from the stack.
3. Assert: Due to validation, a value of value type valtype_0 is on the top of the stack.
4. Pop the value (valtype_0.CONST c_1) from the stack.
5. Let c be $relop_(t, relop, c_1, c_2).
6. Push the value (I32.CONST c) to the stack.

Step_pure/cvtop t_2 t_1 cvtop
1. Assert: Due to validation, a value of value type t_1 is on the top of the stack.
2. Pop the value (t_1.CONST c_1) from the stack.
2. Pop the value (valtype_0.CONST c_1) from the stack.
3. If (|$cvtop__(t_1, t_2, cvtop, c_1)| ≤ 0), then:
a. Trap.
4. Let c be an element of $cvtop__(t_1, t_2, cvtop, c_1).
Expand Down Expand Up @@ -5328,7 +5328,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. If :math:`{|{{\mathit{unop}}}{{}_{{\mathit{nt}}}}{(c_1)}|}` is less than or equal to :math:`0`, then:

Expand All @@ -5345,7 +5345,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_2)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_2)` from the stack.

#. Assert: Due to validation, a value of value type :math:`{\mathit{numtype}}_0` is on the top of the stack.

Expand All @@ -5366,7 +5366,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. Let :math:`c` be :math:`{{\mathit{testop}}}{{}_{{\mathit{nt}}}}{(c_1)}`.

Expand All @@ -5379,7 +5379,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_2)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_2)` from the stack.

#. Assert: Due to validation, a value of value type :math:`{\mathit{numtype}}_0` is on the top of the stack.

Expand All @@ -5396,7 +5396,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}_1` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}_1{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. If :math:`{|{{\mathit{cvtop}}}{{}_{{\mathit{nt}}_1, {\mathit{nt}}_2}}{(c_1)}|}` is less than or equal to :math:`0`, then:

Expand Down Expand Up @@ -10238,15 +10238,15 @@ Step_pure/return

Step_pure/unop nt unop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_1) from the stack.
2. Pop the value (numtype_0.CONST c_1) from the stack.
3. If (|$unop_(nt, unop, c_1)| ≤ 0), then:
a. Trap.
4. Let c be an element of $unop_(nt, unop, c_1).
5. Push the value (nt.CONST c) to the stack.

Step_pure/binop nt binop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_2) from the stack.
2. Pop the value (numtype_0.CONST c_2) from the stack.
3. Assert: Due to validation, a value of value type numtype_0 is on the top of the stack.
4. Pop the value (numtype_0.CONST c_1) from the stack.
5. If (|$binop_(nt, binop, c_1, c_2)| ≤ 0), then:
Expand All @@ -10256,21 +10256,21 @@ Step_pure/binop nt binop

Step_pure/testop nt testop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_1) from the stack.
2. Pop the value (numtype_0.CONST c_1) from the stack.
3. Let c be $testop_(nt, testop, c_1).
4. Push the value (I32.CONST c) to the stack.

Step_pure/relop nt relop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_2) from the stack.
2. Pop the value (numtype_0.CONST c_2) from the stack.
3. Assert: Due to validation, a value of value type numtype_0 is on the top of the stack.
4. Pop the value (numtype_0.CONST c_1) from the stack.
5. Let c be $relop_(nt, relop, c_1, c_2).
6. Push the value (I32.CONST c) to the stack.

Step_pure/cvtop nt_2 nt_1 cvtop
1. Assert: Due to validation, a value of value type nt_1 is on the top of the stack.
2. Pop the value (nt_1.CONST c_1) from the stack.
2. Pop the value (numtype_0.CONST c_1) from the stack.
3. If (|$cvtop__(nt_1, nt_2, cvtop, c_1)| ≤ 0), then:
a. Trap.
4. Let c be an element of $cvtop__(nt_1, nt_2, cvtop, c_1).
Expand Down Expand Up @@ -14687,7 +14687,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. If :math:`{|{{\mathit{unop}}}{{}_{{\mathit{nt}}}(c_1)}|}` is less than or equal to :math:`0`, then:

Expand All @@ -14704,7 +14704,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_2)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_2)` from the stack.

#. Assert: Due to validation, a value of value type :math:`{\mathit{numtype}}_0` is on the top of the stack.

Expand All @@ -14725,7 +14725,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. Let :math:`c` be :math:`{{\mathit{testop}}}{{}_{{\mathit{nt}}}(c_1)}`.

Expand All @@ -14738,7 +14738,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}{.}\mathsf{const}~c_2)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_2)` from the stack.

#. Assert: Due to validation, a value of value type :math:`{\mathit{numtype}}_0` is on the top of the stack.

Expand All @@ -14755,7 +14755,7 @@ watsup 0.4 generator

1. Assert: Due to validation, a value of value type :math:`{\mathit{nt}}_1` is on the top of the stack.

#. Pop the value :math:`({\mathit{nt}}_1{.}\mathsf{const}~c_1)` from the stack.
#. Pop the value :math:`({\mathit{numtype}}_0{.}\mathsf{const}~c_1)` from the stack.

#. If :math:`{|{{\mathit{cvtop}}}{{}_{{\mathit{nt}}_1, {\mathit{nt}}_2}(c_1)}|}` is less than or equal to :math:`0`, then:

Expand Down Expand Up @@ -23622,15 +23622,15 @@ Step_pure/handler

Step_pure/unop nt unop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_1) from the stack.
2. Pop the value (numtype_0.CONST c_1) from the stack.
3. If (|$unop_(nt, unop, c_1)| ≤ 0), then:
a. Trap.
4. Let c be an element of $unop_(nt, unop, c_1).
5. Push the value (nt.CONST c) to the stack.

Step_pure/binop nt binop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_2) from the stack.
2. Pop the value (numtype_0.CONST c_2) from the stack.
3. Assert: Due to validation, a value of value type numtype_0 is on the top of the stack.
4. Pop the value (numtype_0.CONST c_1) from the stack.
5. If (|$binop_(nt, binop, c_1, c_2)| ≤ 0), then:
Expand All @@ -23640,21 +23640,21 @@ Step_pure/binop nt binop

Step_pure/testop nt testop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_1) from the stack.
2. Pop the value (numtype_0.CONST c_1) from the stack.
3. Let c be $testop_(nt, testop, c_1).
4. Push the value (I32.CONST c) to the stack.

Step_pure/relop nt relop
1. Assert: Due to validation, a value of value type nt is on the top of the stack.
2. Pop the value (nt.CONST c_2) from the stack.
2. Pop the value (numtype_0.CONST c_2) from the stack.
3. Assert: Due to validation, a value of value type numtype_0 is on the top of the stack.
4. Pop the value (numtype_0.CONST c_1) from the stack.
5. Let c be $relop_(nt, relop, c_1, c_2).
6. Push the value (I32.CONST c) to the stack.

Step_pure/cvtop nt_2 nt_1 cvtop
1. Assert: Due to validation, a value of value type nt_1 is on the top of the stack.
2. Pop the value (nt_1.CONST c_1) from the stack.
2. Pop the value (numtype_0.CONST c_1) from the stack.
3. If (|$cvtop__(nt_1, nt_2, cvtop, c_1)| ≤ 0), then:
a. Trap.
4. Let c be an element of $cvtop__(nt_1, nt_2, cvtop, c_1).
Expand Down

0 comments on commit 09774e0

Please sign in to comment.