Explore Features Pricing Docs Star

Frama-C-Mutation

Public

Generation of mutant programs

Code Diagram Issues Pull Requests Actions Security Insights Settings

Unlock the power of AI to understand code instantly.

Twitter GitHub Discord

Product

Features
Pricing
Testimonials
FAQ

Resources

Documentation
API
Blog
Community

Company

About
Team
Careers
Contact

© 2025 GitHub.GG. All rights reserved.

Issues

Open Closed All

Closed Issues

No more linebreaks in .csv file

#4Opened 10/25/20183 commentsby gpetiot

Closed

#3Opened 10/25/20180 commentsby gpetiot

Closed

string with mutation sometimes contains break line

#2Opened 9/26/20183 commentsby ligurio

Closed

Use original filename in a resulted file with mutation

#1Opened 9/24/20181 commentsby ligurio

Closed

Page 1Next