Unexpected time out - configuration problem
Concurrent calling of bounded and unbounded model-checking does not work
properly
I get an unexpected time out on my machine.
If I comment out bounded model-checking, it works fine:
public NuSMVLazyResult(final File physicalFile, final File
physicalFile_bmc) {
super(new ArrayList() {
{
add(new NuSMVTask(physicalFile, false));
// add(new NuSMVTask(physicalFile_bmc, true));
}
});
}
With the nightly build as downoaded, it works fine.
(from redmine: issue id 2329, created on 2015-04-20, closed on 2015-08-03)