No description, website, or topics provided.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
casestudy
sqlite
.gitignore
LICENSE.md
README.md
eval.sh
prepare.sh
run.sh

README.md

Morpheus-SQLiteEvaluation

This project contains all evaluation-related files for the SQLite case study using the variability-aware C refactoring engine Morpheus.

Installation and Usage

To run this case study a version of Morpheus is required. See the project page for installation notes.

Run the Evaluation

If you want to start the SQLite evaluation of the refactoring engine Morpheus run prepare.sh first to create the required .tunit, .interface and .pr files. Now you can edit eval.sh to choose your desired refactoring method: rename, extract- or inline function and subsequently run ./eval.sh to execute the evalution.

Note: The used TH3 test suite is not included in this project as a valid licence is required. See (http://sqlite.org/th3) for further details.

Run the experimental GUI

In order to show a GUI and refactor a single file of this case study "ide-like" just execute ./run.sh sqlite/sqlite3.c.

Good luck. In case of problems contact Good luck. In case of problems contact me.

License

This case study is published as open source under LGPL 3.0. See LICENSE. The included source code of SQLite is published as public domain.