on branch main
When i try to run the case_studies/floyd_warshall/floyd_warshall.ml case_study , I have the following error :
ERROR: Failure("Failed to parse ghost arguments: P := in_range(i, /* @arbitrary */k/* arbitary@ */..N)")
Happens on transformation:
Loop.split_range ~cut:(expr "k+1") [occIndex 2; cFor "i"];
on branch main
When i try to run the
case_studies/floyd_warshall/floyd_warshall.mlcase_study , I have the following error :ERROR: Failure("Failed to parse ghost arguments: P := in_range(i, /* @arbitrary */k/* arbitary@ */..N)")Happens on transformation: