search

andreinaku / SpyType

MIT License
0 stars 0 forks source link

invalid solve when spectype is bot #40

Closed andreinaku closed 4 months ago

andreinaku commented 4 months ago 
(T4 <= list < T1 + T2 >) /\ (T5 <= list < T3 >) /\ (T5 <= list < T?0 >) /\ (T4 <= list < T?0 >) solve:

((T4 <= list < T1 + T2 >) /\ T5 <= list < T3 >)[T?0 |-> bot]

this must lead to an invalid state.