Searched refs:AssertionException (Results 1 – 2 of 2) sorted by relevance
29 throw new AssertionException(formattedMessage); in Assert()35 public class AssertionException : RecoverableException class37 public AssertionException(string message) : base(message) in AssertionException() method in Antmicro.Renode.Debugging.AssertionException
119 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToGrantTimeAfterDispose()130 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToGrantTwiceInARow()141 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToWaitBeforeGranting()151 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToGrantTimeToBlockedHandle()165 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToCallWaitTwiceAfterReportingContinue()179 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToCallGrantAfterReportingBreak()193 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToRequestTwiceInARow()205 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToReportContinueBeforeRequesting()215 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToReportBreakBeforeRequesting()225 Assert.Throws<Antmicro.Renode.Debugging.AssertionException>(() => in ShouldNotAllowToReportBreakTwiceInARow()[all …]
