In repair evaluation mode. Evaluating file ../../../../../designs/hackdac21_phase1_repaired/piton/design/chip/tile/ariane/src/aes2/aes2_interface.v

file: ../../../../../designs/hackdac21_phase1_repaired/piton/design/chip/tile/ariane/src/aes2/aes2_interface.v
module: aes2_interface

running cwe 1245 scanner
potential cwe 1245 detected
  state resets to  (0), line 62
  state transitions from s0 (0) to s1 (1) on condition !((~rst)) && (start == 1'b1) , line 78
  state transitions from s1 (1) to s2 (2) on condition !((~rst)) , line 86
  state transitions from s2 (2) to s3 (3) on condition !((~rst)) && (ctr == 10) , line 91
  state transitions from s3 (3) to s4 (4) on condition !((~rst)) , line 98
  state transitions from s4 (4) to s5 (5) on condition !((~rst)) , line 102
  state transitions from s5 (5) to s6 (6) on condition !((~rst)) , line 107
  state transitions from s6 (6) to s7 (7) on condition !((~rst)) && (dii_data_not_ready == 0) , line 113
  state transitions from s6 (6) to s6 (6) on condition !((~rst)) && !((dii_data_not_ready == 0)) , line 115
  state transitions from s7 (7) to s8 (8) on condition !((~rst)) , line 120
  state transitions from s8 (8) to s9 (9) on condition !((~rst)) , line 131
  state transitions from s9 (9) to s10 (10) on condition !((~rst)) , line 136
  state transitions from s10 (10) to s11 (11) on condition !((~rst)) && (dii_data_not_ready == 0) , line 141
  state transitions from s10 (10) to s10 (10) on condition !((~rst)) && !((dii_data_not_ready == 0)) , line 143
  state transitions from s11 (11) to s12 (12) on condition !((~rst)) , line 154
  state transitions from s12 (12) to s14 (14) on condition !((~rst)) , line 159
  state transitions from s14 (14) to s15 (15) on condition !((~rst)) && (ct_valid == 1) , line 163
  state transitions from s14 (14) to s14 (14) on condition !((~rst)) && !((ct_valid == 1)) , line 165
  state transitions from s15 (15) to s0 (0) on condition !((~rst)) , line 172

Case statement at line 175 has neither a default statement nor enough case items

=========================================================================================