3 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
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
Rasmus Lerchedahl Petersen	cced335284	Python: Switch tests to path queries	2020-10-16 09:59:30 +02:00