Testfälle linear

Jan Burse, erstellt 26. Mai 2019

1 Prädikat sys_add_prod/3

2 Prädikat sys_mul_prod/3

3 Prädikat 'sys_const sys_lin'/6

4 Prädikat 'sys_var sys_lin'/6

5 Prädikat 'sys_in sys_lin'/7

6 Prädikat 'sys_lin sys_lin'/8

7 Prädikat sys_mul_lin/7

8 Prädikat 'sys_const sys_mulv'/5

9 Prädikat 'sys_var sys_mulv'/5

10 Prädikat 'sys_in sys_mulv'/6

11 Prädikat 'sys_mulv sys_mulv'/6

Kommentare