accumulation: print dotfile for DFA product

9 years ago · 9e8a43f670
1 changed files with 1 additions and 0 deletions
--- a/prism/src/explicit/AccumulationProductRegular.java
+++ b/prism/src/explicit/AccumulationProductRegular.java
@ -230,6 +230,7 @@ public class AccumulationProductRegular<M extends Model> extends AccumulationPro
 		
 		if(mc.getSettings().getBoolean(PrismSettings.ACC_GENERATE_DOTS)) {
 		  nfa.exportToDotFile("DEBUG-automaton-nfa.dot");
+		  automaton.exportToDotFile("DEBUG-automaton-dfa.dot");
 		}
 		
 		if (!automaton.isAcyclic()) {