Merge PR #4079: Implement Invariant Benchmarks

2019-04-12 18:52:16 -04:00
parent 3c88ddc2f5
commit 722d122da7
6 changed files with 88 additions and 37 deletions
@@ -6,5 +6,5 @@ package types
 // The simulator will then halt and print the logs.
 type Invariant func(ctx Context) error

-// group of Invarient
+// Invariants defines a group of invariants
 type Invariants []Invariant