Floyd_marshall case study #13
Description
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"];