Bug 179

Summary: Continuation of verifyta with rest of queries if one produces out-of-memory error
Product: UPPAAL Reporter: Ferdy Hanssen <hanssen>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P4    
Version: 3.5.8   
Hardware: PC   
OS: Linux   

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.