ScalState supports DH handling, which is done through generate if-else statements, based on params. For some configurations, the inactive branch of the if-else yields syntax issues. A fast workaround is to delete those lines; they are inactive anyway. This will be fixed in the tool in the future.
ScalState supports DH handling, which is done through generate if-else statements, based on params. For some configurations, the inactive branch of the if-else yields syntax issues. A fast workaround is to delete those lines; they are inactive anyway. This will be fixed in the tool in the future.