hguenther/gtl — Issue #7: Verify each property in Scade on its own
Author: hbasold
Created: 2011-12-15 10:56:32+00:00
State: open

Don't generate one big automaton which contains all properties for one model. Because we have to generate deterministic automata this may lead to massive blow-ups which no longer can be handled.