-
- Downloads
Improving non-constant evaluation TLC error message - #327
. Instead of `The configuration file substitutes constant Edges with non-constant const_15810191316643000.` the user is now presented with: ``` The configuration file substitutes constant Edges with non-constant const_15810191316643000 - specifically: Attempted to select field "n4" from a non-record value n2 line 16, col 27 to line 16, col 32 of module MC ``` [Bug][Tools]
Loading
Please register or sign in to comment