Skip navigation links

Package dk.brics.tajs.monitoring.soundness

Soundness testing implementation: compares the (allegedly sound) fixpoint of the analysis against observations from concrete executions.

See: Description

Package dk.brics.tajs.monitoring.soundness Description

Soundness testing implementation: compares the (allegedly sound) fixpoint of the analysis against observations from concrete executions.

Can be used by enabling SoundnessTesterOptions.setTest(boolean) or by instantiating the SoundnessTesterMonitor directly.

Skip navigation links

Copyright © 2009-2017 Aarhus University