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

Assume treated as assert #396

Open
akashlal opened this issue Nov 23, 2018 · 0 comments
Open

Assume treated as assert #396

akashlal opened this issue Nov 23, 2018 · 0 comments
Labels
bug Something isn't working

Comments

@akashlal
Copy link
Contributor

Assume constraints on events, when they fail, should raise an exception that is caught by the tester and suppressed. The error should not propagate to the user. See here.

We should also move the checks to the runtime and not do them in the Machine class. This is related to #303.
@akashlal akashlal added the bug Something isn't working label Nov 23, 2018
@akashlal akashlal mentioned this issue Nov 23, 2018
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@akashlal