GitHub repository: Cenaras/demanded
Primary language: Scala
Created: 2024-02-07T11:16:16Z
Description: Property-based testing of an exhaustive and demanded points-to analysis