Skip to content

tum-i4/AletheiaPlugin

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

AletheiaPlugin

1. Requirement

Aletheia and OpenCppCoverage must be installed (i.e. they must be available through System PATH variable)

2. How to run this solution

a) Clone or download this project (i.e. clone https://github.com/tum-i22/AletheiaPlugin.git)
b) Go to the cloned or downloaded folder
c) Open the AletheiaPlugin.sln with Visual Studio.
d) Execute in Debug mode to get the experimental Environment
e) Load a Gtest project in Experimental Environment.
f) Select A project in the Visual Studio Solution Explorer
g) Run Tool -> Aletheia-GenerateHitSpectra
h) The plugin will run in background releasing Visual Studio environment.
i) The HitSpectra will be generated in C:\HitSpectras folder by default

3. Recommendation and Precaution

Plugin is much slower than the app itself. Please give the plugin time to generate hit spectra. If you have a bigger project with a lot of test cases, please use the App instead as the plugin is much slower.
Aletheia and Aletheia Plugin are both computation hungry. If you are using an old computer, these tools might cause your system to hang.

4. VS Gallery

The Plugin will soon be published in Visual Studio Gallery

5. Contact

In case of question, simply email us at

Mojdeh Golagha (golagha@in.tum.de)
Abu Mohammed Raisuddin (am.raisuddin@tum.de)

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published