After some time it became clear that Bridge tests should be improved.
- Target version set to 0.2
- Target version changed from 0.2 to 0.3
Klever 0.3 will be primarily devoted to various kinds of testing.
Also I suggest to add real examples of error traces for different kinds of correctness rules for testing their visualization and association with marks.
- Due date set to 11/24/2017
- Status changed from New to Resolved
- % Done changed from 0 to 100
I merged the branch to branch tests in 85d37e8b and hope that tests will help to make Bridge more and more stable.
- Status changed from Resolved to Closed
I merged branch tests to master in f96d83aa.
Also available in: Atom