fefrei / prog2tests

Automatically exported from code.google.com/p/prog2tests
0 stars 0 forks source link

Test cases designed for sat solvers? #13

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
How about some test cases specifically designed for sat solvers? I found some 
possibilities to get them, but I do not think that this increases the faith in 
the correctness of our programs. What do you think?

(More specifically, I have thought of http://fmv.jku.at/fuzzddtools/)

Original issue reported on code.google.com by Wob...@gmx.de on 24 Jun 2012 at 8:08

GoogleCodeExporter commented 9 years ago
I'm having problems to find a good way to integrate this into our project.

It seems like most these generators are written in Python.
Even if there was a way to rewrite them in Java, you'd still essentially need a 
valid DPLL-solver in the test case to compute what the output should be.

And I fear we're not allowed to do that ;)

Original comment by Nichmen...@gmail.com on 24 Jun 2012 at 8:25

GoogleCodeExporter commented 9 years ago
We could hardcode the answers from our implementations. But let's give very low 
priority to this idea.

Original comment by Wob...@gmx.de on 25 Jun 2012 at 6:54

GoogleCodeExporter commented 9 years ago
Giving it the lowest priority we have: WontFix.
I simply assume that nobody will make this.

Original comment by Nichmen...@gmail.com on 4 Jul 2012 at 4:18