Skip to content
This repository has been archived by the owner on Aug 22, 2023. It is now read-only.

incorrect vectors: negate result on Lotus CI #82

Open
raulk opened this issue Aug 26, 2020 · 0 comments
Open

incorrect vectors: negate result on Lotus CI #82

raulk opened this issue Aug 26, 2020 · 0 comments
Labels
P2 P2: Should be fixed.

Comments

@raulk
Copy link
Member

raulk commented Aug 26, 2020

Extracted from #72.

For incorrect vectors, if running the vector causes the implementation to derive the postconditions captured in the test vector, this indicates a failure. (i.e. incorrect behaviour is still present).

A non-match suggests a success or a skip.
@raulk raulk added the P2 P2: Should be fixed. label Aug 26, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
P2 P2: Should be fixed.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@raulk