search

Certora / gambit

Using mutations to improve specs and test suites
MIT License
165 stars 8 forks source link

Ben/use solang parser parse tree #30

Open BenTheKush opened 1 year ago

samparsky commented 10 months ago

@BenTheKush when do you think this will be ready? or are you planning on finishing this?

samparsky commented 10 months ago

I have made progress on integrating Gambit with Foundry you can find out the progress here

I highlighted that some changes on Gambit will make the integration much better, I listed them here https://github.com/Certora/gambit/issues/36

Please let me know what you think