The {*} mark is unexpected for 'All valid paths' enforcement section

dgpv commented 3 months ago

          Interesting that the report in the previous message shows

==============================
Enforced constraints per path:
==============================

All valid paths:
----------------

        {*} GREATERTHANOREQUAL(wit0, 0) @ 3:L1
        {*} LESSTHAN(wit0, 64) @ 7:L2

while I would not expect to see {*} in the section for "all valid paths", because if it is always true for all valid paths, it should be marked with <*>. Will need to look into it

Originally posted by @dgpv in https://github.com/dgpv/bsst/issues/33#issuecomment-2123344815

dgpv commented 3 months ago

This seems to be a bug that was introduced in https://github.com/dgpv/bsst/commit/9c3a89a09fb79445b812d7fed90e803b868c6b59

dgpv commented 3 months ago

changed in https://github.com/dgpv/bsst/commit/9344945a0523163c993357b6cf2a91c95e728c83, but not fixed

dgpv commented 3 months ago

Fixed in https://github.com/dgpv/bsst/commit/708e63360a6d96dcc26926ae02b10a4b45345e7a

dgpv / bsst

The {*} mark is unexpected for 'All valid paths' enforcement section #35