search

codespecs / daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon
Other
9 stars 1 forks source link

Add contract rewriting support for test suite #97

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Add support for tests that use the Code Contract rewriter. For example, the 
"Contracts" test in the test repository.

Original issue reported on code.google.com by Todd.Sch...@gmail.com on 23 May 2013 at 10:10

GoogleCodeExporter commented 9 years ago

Original comment by Todd.Sch...@gmail.com on 31 May 2013 at 5:51

GoogleCodeExporter commented 9 years ago 
These tests will need custom instructions, probably in the test folder 
makefile, that instruct MSBuild to use the CLI contract rewriter tool.

Original comment by melonhea...@gmail.com on 14 Jun 2013 at 12:05