Difference between revisions of "How do I... ?"
From CVC4
(→Dealing with tests) |
(→Dealing with tests) |
||
| Line 28: | Line 28: | ||
*[[Developer's Guide#System testing|...add a new system regression?]] | *[[Developer's Guide#System testing|...add a new system regression?]] | ||
*[[Developer's Guide#Regression testing|...add a new regression?]] | *[[Developer's Guide#Regression testing|...add a new regression?]] | ||
| − | *[[Developer's_Guide# | + | *[[Developer's_Guide#Debugging unit tests|...attach a debugger to unit tests?]] |
=Dealing with the main CVC4 driver program= | =Dealing with the main CVC4 driver program= | ||
*[[Developer's Guide#Command-line options|...add a new command-line option?]] | *[[Developer's Guide#Command-line options|...add a new command-line option?]] | ||
Revision as of 15:22, 4 March 2010
This page is a repository for questions about working with CVC4. If you have a question, please add it here. If you have an answer, please add the answer to the Developer's Guide, or another wiki page, and then link to it from here.
Contents
Dealing with Subversion
- ...check out CVC4 from the repository?
- ...access the repository from Eclipse?
- ...browse CVC4 sources online?
- ...update my working copy to the newest committed version?
- ...rename a file or directory?
- ...revert changes in my working directory?
- ...revert changes that have already been committed to the repository?
- ...see what I've changed in my working copy?
- ...resolve a conflict?
- ...create a branch?
- ...merge a branch back into the trunk?
- ...symbolically tag a version?
- ...make Subversion recognize that a file should be executable?
Dealing with the source tree
- ...add a new source directory to the tree?
- ...add a new source file to the tree?
- ...update the copyright information at the top of each file in the tree?
Dealing with tests
- ...add a new unit test?
- ...add a new system regression?
- ...add a new regression?
- ...attach a debugger to unit tests?
