source: git/Tst/Manual/option.tst @ 6fb723

spielwiese
Last change on this file since 6fb723 was 894057, checked in by Oleksandr Motsak <motsak@…>, 13 years ago
ADD: Tests from online manual (res+stat on mamawutz): short ones Tst/Manual/s.lst
  • Property mode set to 100644
File size: 274 bytes
Line 
1LIB "tst.lib"; tst_init();
2  option(prot);
3  option();
4  option(notSugar);
5  option();
6  option(noprot);
7  option();
8  option(none);
9  option();
10  ring r=0,x,dp;
11  degBound=22;
12  option();
13  intvec i=option(get);
14  option(none);
15  option(set,i);
16  option();
17tst_status(1);$
Note: See TracBrowser for help on using the repository browser.