@Himeshi This resolves #73 . This should work with either Z3 or STP as backend solver. The option added is -multi-ktest=<N> where <N> is the maximum number of .ktest files test<M>.ktest1 ... test<M>.ktest<N> for each test. It is possible that the number of .ktest files is less than N since it may not be impossible for the path condition to have as many as N solutions.
@Himeshi This resolves #73 . This should work with either Z3 or STP as backend solver. The option added is
-multi-ktest=<N>where<N>is the maximum number of.ktestfilestest<M>.ktest1...test<M>.ktest<N>for each test. It is possible that the number of.ktestfiles is less thanNsince it may not be impossible for the path condition to have as many asNsolutions.