update

chpsim.cc

@@ -5946,7 +5946,7 @@ void ChpSim::_zeroAllIntsChans (ChpSimGraph *g)
 	}
 	else {
 	  off = computeOffset (g->stmt->u.sendrecv.d);
-	  if (g->stmt->u.sendrecv.d->isbool) {
+	  if (g->stmt->u.sendrecv.d_type == 0) {
 	    // nothing to do
 	  }
 	  else {

test/inf4.act

@@ -0,0 +1,52 @@
+defproc test1(chan?(bool) in; chan!(int<1>) out)
+{
+  chp {
+    *[ [#in]; out!int(in);in? ]
+  }
+}
+
+defproc boolsrc(chan!(bool) X)
+{ 
+  chp {
+   *[ X!true; X!false ]
+  }
+}
+
+defproc intsrc(chan!(int<1>) X)
+{
+  chp {
+   *[ X!0; X!1 ]
+  }
+}
+
+defproc test2(chan?(int<1>) in; chan!(bool) out)
+{
+  chp {
+   *[ [#in];out!bool(in);in? ]
+  }
+}
+
+defproc boolsink(chan?(bool) W)
+{
+   bool x;
+
+   chp {
+     *[ W?x; log ("got bool: ", x) ]
+   }
+}
+
+defproc intsink(chan?(int<1>) W)
+{
+   int<1> x;
+
+   chp {
+     *[ W?x; log ("got int: ", x) ]
+   }
+}
+
+defproc test()
+{
+   boolsrc s;
+   test1 t(s.X);
+   intsink ix(t.out);
+}

test/inf5.act

@@ -0,0 +1,52 @@
+defproc test1(chan?(bool) in; chan!(int<1>) out)
+{
+  chp {
+    *[ [#in]; out!int(in);in? ]
+  }
+}
+
+defproc boolsrc(chan!(bool) X)
+{ 
+  chp {
+   *[ X!true; X!false ]
+  }
+}
+
+defproc intsrc(chan!(int<1>) X)
+{
+  chp {
+   *[ X!0; X!1 ]
+  }
+}
+
+defproc test2(chan?(int<1>) in; chan!(bool) out)
+{
+  chp {
+   *[ [#in];out!bool(in);in? ]
+  }
+}
+
+defproc boolsink(chan?(bool) W)
+{
+   bool x;
+
+   chp {
+     *[ W?x; log ("got bool: ", x) ]
+   }
+}
+
+defproc intsink(chan?(int<1>) W)
+{
+   int<1> x;
+
+   chp {
+     *[ W?x; log ("got int: ", x) ]
+   }
+}
+
+defproc test()
+{
+   intsrc s;
+   test2 t(s.X);
+   boolsink ix(t.out);
+}

test/runs/inf4.act.stderr

@@ -0,0 +1,3 @@
+WARNING: intsink<>: substituting chp model (requested prs, not found)
+WARNING: test1<>: substituting chp model (requested prs, not found)
+WARNING: boolsrc<>: substituting chp model (requested prs, not found)