Test Cases onedim

Jan Burse, created Nov 01. 2018

1 Predikate vec_cons/3

2 Predikate vec_at/3

3 Predikate vec_len/2

4 Predikate vec_sum/2

5 Predikate vec_min/2

6 Predikate vec_max/2

7 Predikate vec_neg/2

8 Predikate vec_add/3

9 Predikate vec_sub/3

Comments