Closed zeroFruit closed 5 years ago
resolved: #304
details:
separate different type of stmt will have separate tcs
applying scope to integral tcs
[x] Test case
I would squash the test: commits into one
test:
after #315, #316 merged, this should be merged
resolved: #304
details:
separate different type of stmt will have separate tcs
applying scope to integral tcs
[x] Test case