martinruefenacht lemonspotter issues

martinruefenacht / lemonspotter

MPI Test Generation Framework

MIT License

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bootstrapping MPI Bindings

#50 carsonwoods opened 2 years ago
0
Fix Broken CI Badge

#49 carsonwoods opened 2 years ago
0
Network exploration and mutation

#47 martinruefenacht opened 4 years ago
0
MPI Standard Parsing and Type adjustment

#46 martinruefenacht closed 3 years ago
0
Test-case shrinking for property-based testing

#45 martinruefenacht opened 4 years ago
0
Add Information To gh-pages website

#44 carsonwoods closed 3 years ago
0
Language expression

#43 martinruefenacht opened 4 years ago
0
C array type capability

#42 martinruefenacht opened 4 years ago
0
Parameter generation improvements

#41 martinruefenacht opened 4 years ago
2
Fixed MPI_Get_library_version using string

#40 martinruefenacht closed 4 years ago
0
Minor updates to requirements.txt and README.md

#39 carsonwoods closed 4 years ago
0
Variable Generation Overhaul

#38 carsonwoods opened 4 years ago
6
Make Github Page for LemonSpotter

#37 martinruefenacht closed 3 years ago
1
Bug start end generation crash fix

#36 carsonwoods closed 4 years ago
0
MPI Graph exploration for test generation

#35 martinruefenacht opened 5 years ago
5
Symbolic Execution and Constraint Solving

#34 martinruefenacht closed 3 years ago
0
Use path coverage in the constraint graph for test generation.

#33 wyaneva closed 4 years ago
3
Test the independent functions of MPI

#32 carsonwoods closed 4 years ago
2
PyPy3 compatibility

#31 martinruefenacht closed 3 years ago
2
Test

#30 martinruefenacht closed 5 years ago
0
Added Github Actions

#29 martinruefenacht closed 5 years ago
0
Increase test coverage

#28 martinruefenacht closed 3 years ago
0
Handle MPI Errors better

#27 martinruefenacht opened 5 years ago
0
Reorganized repository structure

#26 martinruefenacht closed 5 years ago
1
Testing for the test framework

#25 martinruefenacht closed 5 years ago
3
Better pointer representation

#24 martinruefenacht opened 5 years ago
1
MPI_Init_MPI_Finalize tests fail sometimes

#23 martinruefenacht closed 5 years ago
5
Strange level of warnings for printable arguments

#22 martinruefenacht closed 5 years ago
1
Nicer C source code output

#21 martinruefenacht closed 5 years ago
2
Simplify database usage

#20 martinruefenacht closed 5 years ago
1
Start-End-Generator producing tests that fail runtime success

#19 martinruefenacht closed 4 years ago
6
Cleaning up usage of abstract_type

#18 martinruefenacht closed 5 years ago
0
Database lookups should be simpler

#17 martinruefenacht closed 5 years ago
1
Singleton database consolidation

#16 martinruefenacht closed 5 years ago
1
Database object should be singleton

#15 carsonwoods closed 5 years ago
1
Quality of Implementation Testing

#14 martinruefenacht closed 3 years ago
0
Separate Language Spec from API Spec

#13 martinruefenacht opened 5 years ago
2
How do we represent object lifecycles?

#12 martinruefenacht opened 5 years ago
0
Regression Testing as an Input

#11 martinruefenacht opened 5 years ago
0
Nicer Formatting for C Source

#10 martinruefenacht closed 5 years ago
1
Spec Database Linting

#9 martinruefenacht closed 3 years ago
0
Use PyTest to test LemonSpotter

#8 martinruefenacht closed 5 years ago
1
Independent Function Test Generation

#7 martinruefenacht closed 4 years ago
1
Pointer representation is hard

#6 martinruefenacht opened 5 years ago
1
Local Function Test Generation

#5 martinruefenacht closed 3 years ago
0
Generators & Partitions

#4 martinruefenacht closed 5 years ago
0
Feature: add first version of test logging

#3 carsonwoods closed 5 years ago
1
Flake8 integration to accelerate future linting

#2 carsonwoods closed 5 years ago
0
Feat presence test gen

#1 martinruefenacht closed 5 years ago
0