Skip to content

Instantly share code, notes, and snippets.

Robby Ronk robbyronk

Block or report user

Report or block robbyronk

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@robbyronk
robbyronk / contracts.py
Created Jan 22, 2019
contracts and property based testing
View contracts.py
from dpcontracts import require, ensure, invariant
@invariant("procs can never be empty", lambda self: len(self.procs) > 0)
@invariant("procs must consist only of positive integers",
lambda self: all(isinstance(x, int) and x > 0 for x in self.procs))
@invariant("space must be positive integer", lambda self: self.space > 0)
class Meltdown:
def __init__(self, space, procs):
self.space = space
self.procs = procs
View gist:e45a15ee0d93e22281b4

Motherboards that have:

  • DDR3
  • 2x PCIe 16x slots
  • High build quality
  • 4 RAM slots

Asus

Crosshair Formula V

You can’t perform that action at this time.