jkrivine/KaSim — Issue #50: --cflow raises run time error "Causal.record: incomplete embedding"
Author: feret
Created: 2012-03-03 09:44:13+00:00
State: open
Labels: critical bug

I use the following model: (essai.ka)

B(a!_),C(a~u) -> B(a!_),C(a~p) @ 1
A(b) -> @ 1
C(a!_) -> C(a) @2
-> A(a!1,b),B(a!1) @10
-> C(a~p) @10

%init: 10 A(a!1,b),B(a!1)
%init: 10 C(a~u!1),C(a~p!1)

> KaSim -i essai.ka --cflow --implicit-signature -e 20 -seed 560966040
raises ***Runtime error Causal.record: incomplete embedding***

whereas

> KaSim -i essai.ka --cflow --implicit-signature -e 20 -seed 298905525
works fine.