BSD 4_3_Tahoe development
authorCSRG <csrg@ucbvax.Berkeley.EDU>
Tue, 26 Mar 1985 15:07:17 +0000 (07:07 -0800)
committerCSRG <csrg@ucbvax.Berkeley.EDU>
Tue, 26 Mar 1985 15:07:17 +0000 (07:07 -0800)
Work on file usr/src/lib/old_compiler/dbx/tests/pc/sets.out
Work on file usr/src/ucb/dbx/tests/pc/sets.out

Synthesized-from: CSRG/cd2/4.3tahoe

usr/src/lib/old_compiler/dbx/tests/pc/sets.out [new file with mode: 0644]
usr/src/ucb/dbx/tests/pc/sets.out [new file with mode: 0644]

diff --git a/usr/src/lib/old_compiler/dbx/tests/pc/sets.out b/usr/src/lib/old_compiler/dbx/tests/pc/sets.out
new file mode 100644 (file)
index 0000000..277ad9e
--- /dev/null
@@ -0,0 +1,24 @@
+reading symbolic information ...
+type Color = (RED, BLUE, GREEN);
+type ColorSet = set of Color;
+[1] stop in p
+[1] stopped in p at line 9
+    9   begin
+stopped in p at line 10
+   10       s := [RED, BLUE];
+p(s = []), line 10 in "sets.p"
+program(), line 14 in "sets.p"
+main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
+stopped in p at line 11
+   11   end;
+[RED, BLUE] 
+stopped in program at line 15
+   15       if BLUE in s then begin
+stopped in program at line 16
+   16          s := s - [BLUE];
+stopped in program at line 18
+   18   end.
+program(), line 18 in "sets.p"
+main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
+[RED] 
+
diff --git a/usr/src/ucb/dbx/tests/pc/sets.out b/usr/src/ucb/dbx/tests/pc/sets.out
new file mode 100644 (file)
index 0000000..277ad9e
--- /dev/null
@@ -0,0 +1,24 @@
+reading symbolic information ...
+type Color = (RED, BLUE, GREEN);
+type ColorSet = set of Color;
+[1] stop in p
+[1] stopped in p at line 9
+    9   begin
+stopped in p at line 10
+   10       s := [RED, BLUE];
+p(s = []), line 10 in "sets.p"
+program(), line 14 in "sets.p"
+main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
+stopped in p at line 11
+   11   end;
+[RED, BLUE] 
+stopped in program at line 15
+   15       if BLUE in s then begin
+stopped in program at line 16
+   16          s := s - [BLUE];
+stopped in program at line 18
+   18   end.
+program(), line 18 in "sets.p"
+main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
+[RED] 
+