For some reason the script was deleting the assume declaration in assumption-cache-invalidation.ll, so fixed that manually.
2.3 KiB
2.3 KiB
For some reason the script was deleting the assume declaration in assumption-cache-invalidation.ll, so fixed that manually.