|Summary:||Continuation of verifyta with rest of queries if one produces out-of-memory error|
|Product:||UPPAAL||Reporter:||Ferdy Hanssen <hanssen>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Ferdy Hanssen 2005-08-04 11:49:21 CEST
For script-controlled verifications of a large set of versions of the same model and a large set of queries it would be nice if: when verifyta is working on a number of queries in the same query file and some query is too large to resolve, verifyta did not exit, but would continue resolving the rest of the queries in the file, as they might not be too large to resolve. Currently verifyta exits on the first out-of-memory error, which means manually (or using a specially crafted script) running the remainder of those queries from that query file.
Comment 1 Gerd Behrmann 2005-08-04 13:50:59 CEST
Yes, this would be nice.