commit | 68109afcdb59a7eeb75bacf055abce3e56a53645 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Aug 03 16:05:10 2020 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Aug 03 16:05:10 2020 -0300 |
tree | 5fee3fd7c57df2d58972b5d19a364d841c8babd9 | |
parent | 9cf3299fafa41718e3cb260cc94d1d29bba6335b [diff] |
Detail (in asserts) Macro 'checkconsistency' replaced by the similar 'checkliveness".