try to make things work on 64 bit systems
test/validate/tooLong.st
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
diff -rN -u old-branch-2-0/test/validate/tooLong.st new-branch-2-0/test/validate/tooLong.st
--- old-branch-2-0/test/validate/tooLong.st 1970-01-01 01:00:00.000000000 +0100
+++ new-branch-2-0/test/validate/tooLong.st 2022-11-28 23:17:51.609768723 +0100
@@ -0,0 +1,27 @@
+/*
+ * Test proper rejection of variables whose type is too long
+ * to allow faithfull representation in CA, i.e. 64 bit types.
+ * On linux-x86_64 this should give error messages for the l and ul
+ * variables. On systems where sizeof(int)==8 (64 bit Windows?)
+ * even i and ui should be rejected.
+ */
+program tooLong
+
+int i;
+assign i to "";
+
+unsigned int ui;
+assign ui to "";
+
+long l;
+assign l to "";
+
+unsigned long ul;
+assign ul to "";
+
+ss tooLong {
+ state xy {
+ when () {
+ } state xy
+ }
+}
patch 41656482809861d993607895eee0b410b4efda3d
Author: ben.franksen@online.de
Date: Wed Apr 6 20:59:29 CEST 2011
* try to make things work on 64 bit system