Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Source code exports prints lots of stuff with log TRACE but the log4j.properties only states Error #70

Open
lausdahl opened this issue Jul 10, 2017 · 0 comments
Assignees
Milestone

Comments

@lausdahl
Copy link
Member

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

@lausdahl lausdahl added this to the v0.2.8 milestone Jul 10, 2017
@lausdahl lausdahl modified the milestones: v0.2.8, v0.2.10 Aug 6, 2017
@bandurvp bandurvp modified the milestones: v0.2.10, v0.2.12 Sep 22, 2017
@CThuleHansen CThuleHansen modified the milestones: v0.2.12, v0.2.14 Jan 11, 2018
@CThuleHansen CThuleHansen modified the milestones: v0.2.14, v 0.2.16 Nov 23, 2018
@peterwvj peterwvj modified the milestones: v 0.2.18, v 0.2.20 Feb 5, 2019
@lausdahl lausdahl modified the milestones: v 0.2.20, v 0.22.0 May 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants