jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Added missing cases for causality

Browse source
This commit is contained in:
Cédric Pasteur 2010-07-27 16:44:47 +02:00
parent f7d08ca221
commit 6d8556c63e
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
compiler/heptagon/analysis/causal.ml
View file

@ -122,9 +122,10 @@ let rec ctuple l =
| Clastread(n) -> Alastread(n)
| Ctuple(l) -> Atuple (ctuple l)
| Cand (c1, c2) -> Aand (conv c1, conv c2)
| Cseq _ -> Format.printf "Unexpected seq\n"; assert false
| Cor _ -> Format.printf "Unexpected or\n"; assert false
| _ -> assert false
| Cseq (c1, c2) -> Aseq (conv c1, conv c2)
| Cor (Cempty, c2) -> conv c2
| Cor (c1, Cempty) -> conv c1
| Cempty -> assert false
in
match l with
| [] -> []