|
 |
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
|
|