write_xaiger: add comment about arrival times of flop outputs

2020-02-14 13:43:34 -08:00 · 2020-02-14 13:43:34 -08:00 · 5ff60d2057
parent 683c5ce940
commit 5ff60d2057
1 changed files with 1 additions and 0 deletions
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@ -656,6 +656,7 @@ struct XAigerWriter
 					write_s_buffer(0);
 				}

+				// Use arrival time from output of flop box
 				write_i_buffer(arrival_times.at(d, 0));
 				//write_o_buffer(0);
 			}