Skip to content

hemanthchilakala-2005/scheduler-correctness

v1.0.0

Review deterministic schedulers using conservation, capacity, deadline, and ordering properties.

GitHub

What this package declares

The file a client reads when it loads this plugin, exactly as this revision carries it.

plugin.json
{
  "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
  "name": "scheduler-correctness",
  "version": "1.0.0",
  "description": "Review deterministic schedulers using conservation, capacity, deadline, and ordering properties.",
  "author": {
    "name": "Hemanth"
  },
  "keywords": [
    "scheduler",
    "scheduling",
    "fast-check",
    "property-based testing",
    "correctness",
    "determinism"
  ]
}