Explorar el Código

* check that adding sets is commutative

pierre hace 23 años
padre
commit
8c540e0bd6
Se han modificado 1 ficheros con 29 adiciones y 0 borrados
  1. 29 0
      tests/tbs/tb0417.pp

+ 29 - 0
tests/tbs/tb0417.pp

@@ -0,0 +1,29 @@
+{ Testing smallset + normset }
+{ with respect to normset + smallset }
+
+
+type
+  charset=set of char;
+
+  var
+     tr,tr2    : charset;
+
+
+  procedure test(const k:charset);
+
+    begin
+       tr:=[#7..#10]+k;
+       tr2:=k+[#7..#10];
+    end;
+
+  begin
+     Test([#20..#32]);
+     if not(#32 in tr) or ([#33..#255]*tr <> []) or
+        (tr<>[#7..#10,#20..#32]) or
+        (tr<>tr2) then
+       begin
+         Writeln('Bug in set handling');
+         halt(1);
+       end;
+
+  end.