Skip to content

Conversation

@ttuegel
Copy link
Contributor

@ttuegel ttuegel commented Jul 27, 2020


Reviewer checklist
  • Test coverage: stack test --coverage
  • Public API documentation: stack haddock

@ttuegel ttuegel requested a review from ana-pantilie July 27, 2020 15:40
@ttuegel ttuegel added the bug label Jul 27, 2020
@ttuegel ttuegel mentioned this pull request Jul 27, 2020
2 tasks
Copy link
Contributor

@ana-pantilie ana-pantilie left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I pushed a very small refactoring and I changed the test descriptions for the Set tests, because they didn't seem very clear to me at first glance. Feel free to revert the commit if you think it's unnecessary. I also have a question surrounding the constructor-like tests.

, testCase "Simplifiable non-constructor-like key BuiltinMap" $
assertErrorIO (assertSubstring "" "Expecting constructor-like object") $
Mock.builtinMap [(Mock.a, Mock.c), (Mock.f Mock.b, Mock.c)]
`shouldBeConstructorLike` False
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why were these two tests removed?

@rv-jenkins rv-jenkins merged commit fe4f70d into runtimeverification:master Jul 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants