Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | The size of a char is >= 0 bytes. |
2 | The size of an int list of length 4 is >= 48 bytes. | |
3 | The size of a string of length 10 is >= 24 bytes. | |
4 | The size of an int array of length 10 is >= 52 bytes. | |
5 | The size of a double array of length 10 is >= 92 bytes. | |
6 | The size of an array of length 10 of 2-ples of ints is >= 92 bytes. | |
7 | The size of a useless function is >= 0 bytes. | |
8 | The size of a continuation option ref is > 1000. | |
9 | 13 | |
10 | The size of a continuation option ref is < 1000. |