spielwiese
|
Last change
on this file since ef52d6 was
ef52d6,
checked in by Oleksandr Motsak <motsak@…>, 11 years ago
|
|
Update testsuite wrt current master (320c4f5e64cad778b4ada9556a9b0a6c71cab83a)
NOTE: some wrong/bad tests were removed...
TODO: add the reset of these updates after updating LIB/
|
-
Property mode set to
100644
|
|
File size:
234 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); tst_ignore("// ** loaded"); |
|---|
| 2 | option(notloadLib); // show loading of libraries |
|---|
| 3 | |
|---|
| 4 | // the names of the procedures of inout.lib |
|---|
| 5 | LIB "inout.lib"; // are now known to Singular |
|---|
| 6 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
