pstlab / PLATINUm

Passed

unknown

created 2021-04-13 18:49 UTC

	1 issue (minor) was introduced.
A	↘	B	it.cnr.istc.pst.platinum.executive.dc.strategy.TreeNodeState.findChild... got worse

9.53

▶ ± 0

Head	AnnLan7 2021-04-13 20:49 GMT+0200 small fixes
Base	Alessandro Umbrico 2021-04-13 00:21 UTC minor fixes