• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Check use of options specific to isolated part
2domain: "{ A[i] : 0 <= i < 100 }"
3child:
4  schedule: "[{ A[i] -> [i] }]"
5  options: "{ isolate[[] -> [x]] : 10 <= x <= 20; [isolate[] -> unroll[x]] }"
6