rumur has a nice setup where unsupported features surface with line and column information, and even colour. Other tools like murphi2c just report unsupported features with no location. It would be helpful if they also carried a pointer to exactly what in the input file was causing the rejection.
rumurhas a nice setup where unsupported features surface with line and column information, and even colour. Other tools likemurphi2cjust report unsupported features with no location. It would be helpful if they also carried a pointer to exactly what in the input file was causing the rejection.