private Z3SummaryProperties(AggregatedAnalysis summary)
{
if (summary == null)
{
throw new ArgumentNullException(nameof(summary));
}
props = summary.Properties;
}
public static Z3SummaryProperties TryWrap(AggregatedAnalysis summary)
{
if (summary == null || !summary.Properties.ContainsKey(Z3Domain.KeySat))
{
return(null);
}
return(new Z3SummaryProperties(summary));
}
private static void AssertCatSummary(int n, AggregatedAnalysis summary)
{
string s = n.ToString();
Assert.AreEqual(s, summary.Properties[Z3Domain.KeySat]);
Assert.AreEqual(s, summary.Properties[Z3Domain.KeyUnsat]);
Assert.AreEqual("0", summary.Properties[Z3Domain.KeyUnknown]);
Assert.AreEqual("0", summary.Properties[Z3Domain.KeyOverperformed]);
Assert.AreEqual("0", summary.Properties[Z3Domain.KeyUnderperformed]);
Assert.AreEqual(s, summary.Properties[Z3Domain.KeyTimeSat]);
Assert.AreEqual(s, summary.Properties[Z3Domain.KeyTimeUnsat]);
}
