whiley_test_file 0.6.2

An API for manipulating test files for the Whiley Programming Language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

original.name="Update_Valid_2"
======
>>> main.whiley


type list is int[]

function update(list l, int index, int value) -> list
requires 0 <= index && index < |l|:
    l[index] = value
    return l

public export method test() :
    int[] l = ['1', '2', '3']
    assume update(l, 1, 0) == ['1',0,'3']
    assume update(l, 2, 0) == ['1','2',0]
    l = "Hello World"
    assume update(l, 1, 0) == ['H',0,'l','l','o',' ','W','o','r','l','d']
    assume update(l, 2, 0) == ['H','e',0,'l','o',' ','W','o','r','l','d']

---