spielwiese
|
Last change
on this file since 75f460 was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
|
format
|
-
Property mode set to
100644
|
|
File size:
1.0 KB
|
| Line | |
|---|
| 1 | To install: |
|---|
| 2 | - put a link to the Singular binary to test into the current directory |
|---|
| 3 | |
|---|
| 4 | To run universal tests (i.e. those with no memory or timing output) |
|---|
| 5 | - run "perl ./regress.cmd universal.lst" |
|---|
| 6 | |
|---|
| 7 | To run specific tests: |
|---|
| 8 | - run "./test.cmd" <basename of test1> ... <basename of test n> |
|---|
| 9 | |
|---|
| 10 | Results: |
|---|
| 11 | - produced output is compared with the output of corresponding *.res |
|---|
| 12 | file |
|---|
| 13 | - progress reports and diffs (there should be none) go to stdout |
|---|
| 14 | - if a test fails |
|---|
| 15 | (i.e. there are differences between the output and |
|---|
| 16 | the corresponding .res file), |
|---|
| 17 | the name of unsuccessfull test file go to stderr |
|---|
| 18 | |
|---|
| 19 | To compare two versions of Singular do: |
|---|
| 20 | |
|---|
| 21 | "perl compare_tst.cmd Singular1 Singular2 f1.tst f2.tst ...." |
|---|
| 22 | |
|---|
| 23 | - Compares output of Singular1 with that of Singular2 when both are |
|---|
| 24 | run with input fi.tst Measures time and memory consumption --- |
|---|
| 25 | reports differences, as well. |
|---|
| 26 | |
|---|
| 27 | |
|---|
| 28 | "perl compare_lst.cmd Singular1 Singular2 exampleList_file.lst" |
|---|
| 29 | |
|---|
| 30 | - Compares output of Singular1 with that of Singular2 when both are |
|---|
| 31 | run with scripts specified in exampleList_file.lst |
|---|
Note: See
TracBrowser
for help on using the repository browser.
