(t *testing.T)
| 59 | } |
| 60 | |
| 61 | func TestTemporalGraphPoints(t *testing.T) { |
| 62 | program := readExample(t, "temporal_graph_points.mg") |
| 63 | facts := runEvaluate(t, program) |
| 64 | |
| 65 | // Check T1: 2024-01-01 |
| 66 | // a->b, b->c => a->c |
| 67 | verifyPoint(t, facts, "reachable(/a,/c)", "2024-01-01") |
| 68 | |
| 69 | // Check T2: 2024-01-02 |
| 70 | // a->c, c->d => a->d |
| 71 | verifyPoint(t, facts, "reachable(/a,/d)", "2024-01-02") |
| 72 | } |
| 73 | |
| 74 | func TestTemporalSequence(t *testing.T) { |
| 75 | program := readExample(t, "temporal_sequence.mg") |
nothing calls this directly
no test coverage detected