assertNotNull(cong);
}
@Test(expected=NullPointerException.class)
public void parametriNull() {
new CongetturaRidotta(null, null);
new CongetturaRidotta(" ", null);
new CongetturaRidotta("", ArmiEnum.FIONDA);
new CongetturaRidotta(accusato, null);
new CongetturaRidotta(null, ArmiEnum.ASCIA);
}