(t *testing.T)
| 72 | } |
| 73 | |
| 74 | func TestTemporalSequence(t *testing.T) { |
| 75 | program := readExample(t, "temporal_sequence.mg") |
| 76 | facts := runEvaluate(t, program) |
| 77 | |
| 78 | if !containsFact(facts, "match(/u1)") { |
| 79 | t.Errorf("Expected match(/u1)") |
| 80 | } |
| 81 | if containsFact(facts, "match(/u2)") { |
| 82 | t.Errorf("Did not expect match(/u2)") |
| 83 | } |
| 84 | } |
| 85 | |
| 86 | // Helpers |
| 87 |
nothing calls this directly
no test coverage detected