 Parent Directory
|
|
|
|
|
test1.e
|
71004
|
12 years |
manus |
Pretty similar too multierr008, but here it does not involve compilation with `full_class_checking'
…
|
|
test.e
|
71004
|
12 years |
manus |
Pretty similar too multierr008, but here it does not involve compilation with `full_class_checking'
…
|
|
test2.e
|
71048
|
12 years |
manus |
Also test execution.
|
|
test1_rev1.e
|
71018
|
12 years |
manus |
Added the correction of the error and resume compilation to make sure everything goes fine.
|
|
tcf
|
71048
|
12 years |
manus |
Also test execution.
|
|
output
|
71048
|
12 years |
manus |
Also test execution.
|
|
Ace
|
103101
|
7 months |
alexk |
Updated tests to use the new default for total order on real numbers.
|
