search

ngsankha / absynthe

synthesis guided by abstract interpretation
BSD 3-Clause "New" or "Revised" License
2 stars 0 forks source link

report autopandas numbers in the absynthe JSON format #10

Open ngsankha opened 2 years ago

ngsankha commented 2 years ago

Right now prints test progress to the console. Also output all stats in the Absynthe JSON format (used in Sygus) to a file. It will enable automatic analysis with existing scripts.