Skip to content

Pact 2.6.1

Compare
Choose a tag to compare
@sirlensalot sirlensalot released this 08 Jun 20:30
· 1443 commits to master since this release
9ef5f4b

2.6.1

  • Korean readthedocs
  • Interfaces copy models onto implementing modules
  • Better/tighter compile phase, remove TBless, TImplements
  • Fix bug preventing correct reporting of argument values in falsifying models
    from the property checker