4 Commits

Author	SHA1	Message	Date
Rasmus Lerchedahl Petersen	109d55eb25	Python: Make ParameterNode a CfgNode ... Add a step from that `CfgNode` to the corresponding `EssaNode`. The intended effect is seen in `ImpliesDataflow.expected`. The efeect seen in other `.expected`-files is that parameter nodes change type, that the extra steps are seen, and that flow from `EssaVar`s is mirrored in flow from `CfgNode`s. There is one surprise, which is the `.0` node in `coverage/localFlow.expected`.	2020-11-10 11:35:50 +01:00
Taus Brock-Nannestad	fdb489fc93	Python: Remove flow between ESSA variables ... This required a minor change in the type tracker implementation, but apart from that no other changes appear to be needed. Seems to clean up the test output quite a bit.	2020-10-13 16:35:41 +02:00
Taus Brock-Nannestad	98266ad5da	Python: Remove implicit uses from essaFlowStep	2020-09-04 14:22:43 +02:00
Rasmus Lerchedahl Petersen	e8289d6fa1	Python: add regression tests and organise tests	2020-06-22 16:36:19 +02:00