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
original.name="BoolAssign_Valid_2"
======
>>> main.whiley


public export method test() :
    bool x = true
    bool y = false
    assert (x && x) == true
    assert (x && y) == false
    assert (y && x) == false
    assert (y && y) == false        
    assert !y
    assert !!x

---