|
|
 |
TEST: 03T38-C
categorystatusCompilation and execution results for Windows (first) and Mono (second)| PASSED | Compiler: 1.2.8.0
Date, time: 2010.08.06, 18:06
Compilation: SUCCESS
Execution: NOT RUN
|
| | PASSED | Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: SUCCESS
Execution: NOT RUN
|
|
code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
| (**
* 2. Program Constructs and their Relations.
*
* Positive test: definition refines definition.
*)
(* I. The refined definition A is declared after the refiner definition B. *)
definition B refines A;
end B.
definition A;
end A.
(* II. The refined definition D is declared before the definition module C. *)
definition D;
end D.
definition C refines D;
end C.
module Main;
begin
halt(1);
end Main.
| information- PASSED - overall positive decision about the test
- NOT PASSED - overall negative decision about the test
- SUCCESS - compilation / execution successful
- ERROR - compilation failed with normal syntax or semantic error
- ABORT - compilation failed because of an internal compiler error
- NOT RUN - the test was not / not supposed to be executed
- FAIL - execution failed
|
|
