Skip to content

Commit a1438ce

Browse files
committed
add missing ex from mwp paper
1 parent d73f0d0 commit a1438ce

2 files changed

Lines changed: 9 additions & 0 deletions

File tree

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
/*
2+
* Example 3.5 from the original paper "A Flow Calculus of
3+
* mwp-Bounds for Complexity Analysis".
4+
*/
5+
int foo(int X1, int X2){
6+
for(int i=0; i<X3; i++)
7+
X1 = X1 + X2;
8+
}

c_files/readme.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,7 @@
3939
| | `example3_2.c` | Three variables and `while` loop |
4040
| | `example3_4.c` | Iteration with 5 variables, using while (W) rule |
4141
| | `example3_4_loop.c` | Iteration with 5 variables, using loop (L) rule |
42+
| | `example3_5.c` | Iteration with 3 variables, where some derivation paths fail |
4243
| | `example5_1.c` | Adding two variables |
4344
| | `example7_10.c` | program with `if...else` and 3 variables |
4445
| | `example7_11.c` | Binary operations with 4 variables |

0 commit comments

Comments
 (0)