You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There is someting wrong with the log4j configuration in the exporter when used on the command line with option -export source it prints lots of stuff like:
2017-07-10T13:47:39.489 DEBUG [org.overture.codegen.vdm2c.VTableGenerator] - VTable:
-------------- VTable for BoolPort-------------
_Z8BoolPortEB: BoolPort -> BoolPort
_Z8setValueEB: BoolPort -> setValue
_Z8getValueEV: BoolPort -> getValue
_Z8BoolPortEV: BoolPort -> BoolPort
---------- VTable override for Port---------
_Z8getValueEV: Port -> getValue overriden by BoolPort -> getValue
but it should not print anything when set to Error
The text was updated successfully, but these errors were encountered:
There is someting wrong with the log4j configuration in the exporter when used on the command line with option
-export source
it prints lots of stuff like:but it should not print anything when set to
Error
The text was updated successfully, but these errors were encountered: