search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Incorrect and typoed error message #128

Closed MattWindsor91 closed 7 years ago

MattWindsor91 commented 7 years ago

For example, if we have view queued(Node a), and a viewdef queued(a, ap) -> …, we get

Errors:
    In constraint 'queued(a, ap)':
        In view definition 'queued(a, ap)':
            In lookup for view 'queued':
                view usage has 2, arguments, but its definition has 2

Should read:

view usage has 2 arguments, but its definition has 1

Note the lack of , and correct count at the end.