public static assert A_sell_order_for_20_shares_of_MSFT_stock_should_have_been_executed(this assert fixtures) => fixtures.Expect(x => x.Stocks.Orders["MSFT"].Should().Be(20));
public static assert I_should_have_80_shares_of_MSFT_stock(this assert fixtures) => fixtures.Expect(x => x.Stocks.Shares["MSFT"].Should().Be(80));
public static assert I_should_have_150_shares_of_APPL_stock(this assert fixtures) => fixtures.Expect(x => x.Stocks.Shares["APPL"].Should().Be(150));
private static ReportEntry ReportIssue(rule rule, string context, string phase, assert assrt, ValidationSource validationSource) { return new ReportEntry { AssertId = assrt.id, Context = context, Phase = phase, Query = assrt.test, RuleId = rule.id, Detail = assrt.Text.Aggregate((t1, t2) => string.Format("{0} {1}", t1, t2)), ValidationSource = validationSource }; }