tree 52ea495c237388de01ca2b0bd306151d22d006cc
parent c9c0aa6306fc1480a601ad1de5ecf9228068dde8
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1489679764 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1502271893 +0200

Allow T to be computed in multiple steps

Previously there were only two states:
- T unallocated
- T allocated and valid

Now there are three:
- T unallocated
- T allocated and in progress
- T allocated and valid

Introduce new bool T_ok to distinguish the last two states.