[Gnu-arch-users] Re: botched invariant

[Matthieu Moy]

Lothar M?rkle <address@hidden> writes:

> $ tla tree-lint
>   /home/asuffield/arch/dists/tla/tla-1.2/src/tla/libarch/invent.c:900:botched
>   invariant
>   *a < *b
>   PANIC: exiting on botched invariant
>
> Can someone explain why this happens and what is checked here?

Seems this is a bug of tla.

1) try "strace tla tree-lint" to get more information

2) get the latest tla and see if it works.

-- 
Matthieu