search

martinruefenacht / lemonspotter

MPI Test Generation Framework
MIT License
1 stars 0 forks source link

Symbolic Execution and Constraint Solving #34

Closed martinruefenacht closed 3 years ago

martinruefenacht commented 5 years ago

Use Symbolic Execution and Constraint Solving to guide test generation based on MPI function coverage.

We need to: