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]); }