Skip to content

Latest commit

 

History

6 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 

Repository files navigation

C2WasmTestingTool

An update tool that uses mutation testing to dent faults during the C to Wasm compilation process

To use:

Add C test files to raw_Input

Then run bash script genMutants.sh

Expected output:

A Csv file containing the number of mutants and flags per test -> Table_Data.csv Output from tests, and the difference between the mutants -> /results/difference/testName List of the flags in an easier to read format -> /results/potErrs

About

An update tool that uses mutation testing to dent faults during the C to Wasm compilation process

Resources

Stars

0 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages