1. Michael Eichberg Avatar Michael Eichberg
  2. Untitled project
  3. OPAL
  4. Issues

ClassCastException when adapting AnIntegerValue

Issue #7 resolved
Frederik Buss-Joraschek created an issue

Add this to DefaultPreciseIntegerValuesTest

    behavior of "AnIntegerValue"

    it should ("be able to adapt to the same domain") in {
        val v1 = AnIntegerValue()

        v1.adapt(domain, -1) should be(AnIntegerValue())
    }

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
resolved
Component
Abstract Interpretation Framework
Version
–
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!